Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add a few x86 and Programming Language resources. Chris Pressey 4 months ago
- Commentary on a Calculus of Constructions paper. Chris Pressey 4 months ago
- Add two web resources, in Logic and Abstract Algebra. Chris Pressey 4 months ago
- More commentary. Chris Pressey 4 months ago
- Rate, comment on, and fix URL of a Matroid Theory paper. Chris Pressey 4 months ago
- Add commentary for several papers. Chris Pressey 4 months ago
- Add "See also bar" to the top of the README. Chris Pressey 4 months ago
- Add a Formal Semantics paper. Chris Pressey 4 months ago
- Add a Functional Programming paper. Chris Pressey 4 months ago
- Fix paper online link. Chris Pressey 4 months ago
- Add Matroid Theory category, and a Book and a Paper in it. Chris Pressey 4 months ago
- Rate a Theorem Proving paper. Chris Pressey 4 months ago
- Some commentary on a semantics paper on the arxiv. Chris Pressey 4 months ago
- Split Calculus of Constructions topic off from Coq topic. Chris Pressey 4 months ago
- Rename Specification category to Formal Specification. Chris Pressey 4 months ago
- Add three vols of "Handbook of logic in AI and logic programming" Chris Pressey 4 months ago
- Add a Functional Programming book. Chris Pressey 4 months ago
- Add two web pages, one of which is Top Rated. Chris Pressey 4 months ago
- Add four x86 books. Chris Pressey 4 months ago
- Add a Pascal repository. Chris Pressey 4 months ago
- Add Game Assets category, and 6 web resources in it. Chris Pressey 4 months ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 4 months ago
- Update script. Chris Pressey 4 months ago
- Checkpoint removing `src` directories. Chris Pressey 4 months ago
- Add another Public Domain resource (Jeff Minter's 8-bit games). Chris Pressey 4 months ago
- Rebrand Chris Pressey 4 months ago
- Fix link. Chris Pressey 4 months ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 4 months ago
- Link see-also links to anchor Chris Pressey 4 months ago
- Add Markdown anchors to topic links. Chris Pressey 4 months ago