History of
by-rating
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Un-rate a number of papers I've been meaning to (re)read. Chris Pressey 4 months ago
- Rate and finish commentary on a Topology paper. Chris Pressey 4 months ago
- Add a Modal Logic webpage and a Name Binding repository. Chris Pressey 4 months ago
- Add three repos and a webpage for a programming language. Chris Pressey 4 months ago
- Add several more Forth resources, mainly repositories. Chris Pressey 4 months ago
- Add Forth category, and several books and a paper therein. Chris Pressey 4 months ago
- Rate a paper. Chris Pressey 4 months ago
- Rate a book (actually conference proceedings). Chris Pressey 4 months ago
- Rate a book. Chris Pressey 4 months ago
- Rate and add commentary on another paper. Chris Pressey 4 months ago
- Rate a paper and add several commentary. Chris Pressey 4 months ago
- Rate another paper (actually slides for a talk) Chris Pressey 4 months ago
- Add a web page and rate a paper. Chris Pressey 4 months ago
- Add a Programming Language and a Game Development repo. Chris Pressey 4 months ago
- Add a web page and two repositories on Relational Programming. Chris Pressey 4 months ago
- Add a few x86 and Programming Language resources. 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
- 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 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