History of
by-rating
/
Unrated.md
@master
git clone https://git.catseye.tc/The-Glosscubator/
- 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
- Some commentary on a semantics paper on the arxiv. 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 four x86 books. 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
- Rate a Functional Programming paper, put commentary on one other. Chris Pressey 3 months ago
- Rate a Haskell paper. Chris Pressey 3 months ago
- Add another Type Theory paper. Chris Pressey 3 months ago
- Add two books and a paper. Chris Pressey 3 months ago
- Regularize all Papers, convert script to check and rebuild. Chris Pressey 3 months ago
- Regularize papers up to M. Chris Pressey 3 months ago
- Rate and short comment one paper. Chris Pressey 3 months ago
- Begin regularizing the Papers to a schema. Chris Pressey 3 months ago
- Extract the remaining ratings. Chris Pressey 3 months ago
- Extract ratings from Programming Languages and Logic. Chris Pressey 3 months ago
- Rate two more papers (in Model Checking). Chris Pressey 3 months ago
- Rate a Coq paper, and add commentary. Chris Pressey 3 months ago
- Add book chapter and extract ratings from Modal Logic papers. Chris Pressey 3 months ago
- Begin the project of obtaining ratings from a commentary file. Chris Pressey 3 months ago
- Rate a few Apple II books. Chris Pressey 3 months ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 3 months ago
- Add a recent model-checking paper. Chris Pressey 3 months ago
- Rate more resources. Chris Pressey 3 months ago