Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add some webpages and books about Formal Language Theory. Chris Pressey 6 months ago
- Add some Linguistics books, and a Logic book. Chris Pressey 6 months ago
- Add some books on Combinatorics, AI, and Genetic Programming. Chris Pressey 6 months ago
- Add a paper related to theorem proving. Chris Pressey 6 months ago
- Add a number of webpages of FoM. Chris Pressey 6 months ago
- Add webpages in several categories. Chris Pressey 6 months ago
- Functional Programming and Electronics Projects categories. Chris Pressey 6 months ago
- Convert Webpages.md files to Feedmark format. Chris Pressey 6 months ago
- Checkpoint new script we will use. Chris Pressey 6 months ago
- Build READMEs from source materials instead of rewriting READMEs. Chris Pressey 6 months ago
- Add more books on Logic, Coq, Prolog. Chris Pressey 6 months ago
- Split Lambda Calculus off from Logic. Chris Pressey 6 months ago
- Split Equational and Algebraic logic off, and add some books. Chris Pressey 6 months ago
- Fix breakage in Game Design category and update READMEs. Chris Pressey 6 months ago
- Split Game Design and Game Development, they're 2 different topics. Chris Pressey 6 months ago
- Update license headers, get back to REUSE 3.0 compliance. Chris Pressey 6 months ago
- Some books on Combinatorics, and another Probability Theory bookmark. Chris Pressey 6 months ago
- Add some specification books. Chris Pressey 6 months ago
- Add one more Coq bookmark. Chris Pressey 6 months ago
- Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks Chris Pressey 6 months ago
- Split Coq off from Theorem Proving. Chris Pressey 6 months ago
- Add a Theorem Proving book. Chris Pressey 6 months ago
- Add NLP in Prolog book. Chris Pressey 6 months ago
- Update Theorem Proving/README.md cpressey 6 months ago
- Reorganize Probability Theory bookmarks. Chris Pressey 6 months ago
- Books for VIC-20. Chris Pressey 6 months ago
- Add a few more books. Chris Pressey 6 months ago
- Begin filling out placeholder descriptions. Chris Pressey 6 months ago
- Refinement books. Online vs borrow books. Chris Pressey 6 months ago
- Assemble README.md from Webpages.md and Books.md where available. Chris Pressey 6 months ago