History of
by-rating
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add another Type Theory paper. Chris Pressey 11 months ago
- Add a very interesting web page about Railway Oriented Programming. Chris Pressey 11 months ago
- Add a very interesting paper on Dynamic Programming. Chris Pressey 11 months ago
- Add an Order Theory paper. Chris Pressey 11 months ago
- Add two books and a paper. Chris Pressey 11 months ago
- Regularize all Papers, convert script to check and rebuild. Chris Pressey 11 months ago
- Regularize papers up to M. Chris Pressey 11 months ago
- Regularize papers up to L. Chris Pressey 11 months ago
- Regularize more papers. Chris Pressey 11 months ago
- Rate and short comment one paper. Chris Pressey 11 months ago
- Regularize papers up to K. Chris Pressey 11 months ago
- Begin regularizing the Papers to a schema. Chris Pressey 11 months ago
- Finish regularizing the Book entries wrt the Book schema. Chris Pressey 11 months ago
- Extract the remaining ratings. Chris Pressey 11 months ago
- Extract more ratings. Remove a duplicate. Chris Pressey 11 months ago
- Extract many more ratings. Chris Pressey 11 months ago
- Extract ratings from Programming Languages and Logic. Chris Pressey 11 months ago
- Delete the Rewriting Logic topic, merge into Term Rewriting. Chris Pressey 11 months ago
- Rate two more papers (in Model Checking). Chris Pressey 11 months ago
- Rate a Coq paper, and add commentary. Chris Pressey 11 months ago
- Add book chapter and extract ratings from Modal Logic papers. Chris Pressey 11 months ago
- Begin the project of obtaining ratings from a commentary file. Chris Pressey 11 months ago
- Rate a few Apple II books. Chris Pressey 11 months ago
- Remove duplicated link and fix counts. Chris Pressey 11 months ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 11 months ago
- Add a recent model-checking paper. Chris Pressey 11 months ago
- Rate more resources. Chris Pressey 1 year, 3 days ago
- More ratings. Chris Pressey 1 year, 4 days ago
- Add Chaos Theory as a topic, and a lovely old lesson on it. Chris Pressey 1 year, 4 days ago
- Update some ratings. Chris Pressey 1 year, 4 days ago