History of
by-rating
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Rate, comment on, and fix URL of a Matroid Theory paper. Chris Pressey 9 months ago
- Fix paper online link. Chris Pressey 9 months ago
- Add Matroid Theory category, and a Book and a Paper in it. Chris Pressey 9 months ago
- Rate a Theorem Proving paper. Chris Pressey 9 months ago
- Some commentary on a semantics paper on the arxiv. Chris Pressey 9 months ago
- Split Calculus of Constructions topic off from Coq topic. Chris Pressey 9 months ago
- Rename Specification category to Formal Specification. Chris Pressey 9 months ago
- Add three vols of "Handbook of logic in AI and logic programming" Chris Pressey 9 months ago
- Add a Functional Programming book. Chris Pressey 9 months ago
- Add two web pages, one of which is Top Rated. Chris Pressey 9 months ago
- Add four x86 books. Chris Pressey 9 months ago
- Add Game Assets category, and 6 web resources in it. Chris Pressey 9 months ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 9 months ago
- Add another Public Domain resource (Jeff Minter's 8-bit games). Chris Pressey 9 months ago
- Add a few resources on the Public Domain. Chris Pressey 9 months ago
- Add a web page under Abstract Algebra. Chris Pressey 9 months ago
- Add Abstract Algebra topic, move some papers there. Chris Pressey 9 months ago
- Add two papers on Interior Algebras (as Topology papers.) Chris Pressey 9 months ago
- Rate one miniKanren paper and delete two others. Chris Pressey 9 months ago
- Rate 5 papers (mostly on Modal Logic). Chris Pressey 9 months ago
- Rate a Functional Programming paper, put commentary on one other. Chris Pressey 9 months ago
- Rate a Haskell paper. Chris Pressey 9 months ago
- Add another Type Theory paper. Chris Pressey 9 months ago
- Add a very interesting web page about Railway Oriented Programming. Chris Pressey 9 months ago
- Add a very interesting paper on Dynamic Programming. Chris Pressey 9 months ago
- Add an Order Theory paper. Chris Pressey 9 months ago
- Add two books and a paper. Chris Pressey 9 months ago
- Regularize all Papers, convert script to check and rebuild. Chris Pressey 9 months ago
- Regularize papers up to M. Chris Pressey 9 months ago
- Regularize papers up to L. Chris Pressey 9 months ago