Tree @d82346d (Download .tar.gz)
- .reuse
- Agile Development
- Algebraic Logic
- Artificial Intelligence
- Automata Theory
- BASIC
- Bioinformatics
- Category Theory
- Closure Systems
- Combinatorics
- Computational Complexity
- Constraint Programming
- Coq
- Dafny
- DOS
- Electronics
- Electronics Projects
- Equational Logic
- FoM
- Formal Language
- Functional Programming
- Game Design
- Game Development
- Games
- Genetic Programming
- Group Theory
- Haskell
- Incompleteness
- JavaScript
- Lambda Calculus
- LICENSES
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- miniKanren
- Modal Logic
- Model Checking
- Nautilus
- npm
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PLDI
- Probability Theory
- Programming Languages
- Prolog
- Refinement
- Relational Programming
- Retrocomputing
- scripts
- Specification
- Technology
- Theorem Proving
- Theory of Computation
- TRS-80
- Type Theory
- VIC-20
- README.md
- requirements.txt
- TOPICS.md
Bookmarks
This is a collection of bookmarks, presented as a set of lists, one list for each topic area. Some of these lists are more curated than others. Like any set of bookmarks, some of these I bookmarked because I read them and I really liked them, others I bookmarked because I've been meaning to read them, others just seemed like something I didn't want to lose track of for whatever reason.
Handiest
Commit History
@d82346d64a2da2886d2538b4ce3bcd6a57a7425c
git clone https://git.catseye.tc/The-Glosscubator/
- Add Modal Logic category and several books in it. Chris Pressey 1 year, 5 days ago
- Add a bookmark about Lisp. Chris Pressey 1 year, 5 days ago
- Add a book about Lisp. Chris Pressey 1 year, 5 days ago
- Add a new category of web pages and books about Lisp. Chris Pressey 1 year, 5 days ago
- Print total counts. Chris Pressey 1 year, 5 days ago
- Refactor 2 Chris Pressey 1 year, 5 days ago
- Refactor 1 Chris Pressey 1 year, 5 days ago
- Add some books about Computational Complexity and Retrocomputing. Chris Pressey 1 year, 5 days ago
- Add bookmarks about BASIC, Functional Programming, and PLDI. Chris Pressey 1 year, 5 days ago
- Automata Theory category, and several other additions. Chris Pressey 1 year, 6 days ago