Tree @master (Download .tar.gz)
History of
README.md
@master
git clone https://git.catseye.tc/The-Glosscubator/
- More commentary. Chris Pressey 3 months ago
- Rate, comment on, and fix URL of a Matroid Theory paper. Chris Pressey 3 months ago
- Add "See also bar" to the top of the README. Chris Pressey 3 months ago
- Add a Formal Semantics paper. Chris Pressey 3 months ago
- Add a Functional Programming paper. Chris Pressey 3 months ago
- Add Matroid Theory category, and a Book and a Paper in it. Chris Pressey 3 months ago
- Rate a Theorem Proving paper. Chris Pressey 3 months ago
- Split Calculus of Constructions topic off from Coq topic. Chris Pressey 3 months ago
- Rename Specification category to Formal Specification. Chris Pressey 3 months ago
- Add three vols of "Handbook of logic in AI and logic programming" Chris Pressey 3 months ago
- Add a Functional Programming book. Chris Pressey 3 months ago
- Add two web pages, one of which is Top Rated. Chris Pressey 3 months ago
- Add four x86 books. Chris Pressey 3 months ago
- Add a Pascal repository. Chris Pressey 3 months ago
- Add Game Assets category, and 6 web resources in it. Chris Pressey 3 months ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 3 months ago
- Add another Public Domain resource (Jeff Minter's 8-bit games). Chris Pressey 3 months ago
- Rebrand Chris Pressey 3 months ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 3 months ago
- Link see-also links to anchor Chris Pressey 3 months ago
- Add Markdown anchors to topic links. Chris Pressey 3 months ago
- Generate that index in full Chris Pressey 3 months ago
- Checkpoint generating topics in README. Chris Pressey 3 months ago
- Add a few resources on the Public Domain. Chris Pressey 3 months ago
- Add a web page under Abstract Algebra. Chris Pressey 3 months ago
- Add Abstract Algebra topic, move some papers there. Chris Pressey 3 months ago
- Add two papers on Interior Algebras (as Topology papers.) Chris Pressey 3 months ago
- Rate one miniKanren paper and delete two others. Chris Pressey 3 months ago
- Rate 5 papers (mostly on Modal Logic). Chris Pressey 3 months ago
- Add a Programming Language and commentary on a Unification algo. Chris Pressey 3 months ago