Tree @eda49da (Download .tar.gz)
- .reuse
- 6502
- Agile Development
- Algebraic Logic
- Apple II
- Artificial Intelligence
- Attribute Grammars
- Automata Theory
- BASIC
- Bioinformatics
- by-rating
- Category Theory
- Closure Systems
- Combinatorics
- Commodore 64
- Compiler Construction
- Computational Complexity
- Constraint Programming
- Coq
- Dafny
- Docker
- DOM
- DOS
- Electronics
- Electronics Projects
- Equational Logic
- FoM
- Formal Language
- Functional Programming
- Game Design
- Game Development
- Games
- Genetic Programming
- Group Theory
- Haskell
- Image Formats
- Incompleteness
- JavaScript
- Lambda Calculus
- LICENSES
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- miniKanren
- Modal Logic
- Model Checking
- Name Binding
- Nautilus
- npm
- Numerical Analysis
- Order Theory
- Parsing
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PLDI
- Probability Theory
- Programming Languages
- Prolog
- Proof Theory
- Public Domain
- Python
- Reactive Systems
- Recreational Mathematics
- Refinement Calculus
- Relational Programming
- Retrocomputing
- Rewriting Logic
- Scheme
- scripts
- Shell Scripting
- Software Engineering
- Specification
- Technology
- Term Rewriting
- Theorem Proving
- Theory of Computation
- Topology
- TRS-80
- Type Systems
- Type Theory
- Unification
- User Interface
- VIC-20
- Web APIs
- x86
- .gitignore
- README.md
- requirements.txt
- TOPICS.md
Bookmarks
This is a collection of resources, presented as a set of lists of (almost always) web-accessible references, with one list for each topic area.
Currently it consists of 576 web pages, 63 repositories, 133 papers, and 157 books in 89 topics. Of these, 106 have the highest rating, 23 are considered classics, 29 are considered very interesting, while 91 are yet to be rated.
Some of these lists are more curated than others. I'm currently trying to use the following system of ratings:
Rating | Description |
---|---|
3 | If you read nothing else, read this. |
2 | I found it very interesting and/or it's a valuable resource. |
1 | I read (or at least skimmed) it and didn't consider it a waste of my time. |
0 | I read (or at least skimmed) it and I'm not sure. Consider it a curiosity. |
-1 | I read (or at least skimmed) it and was not impressed, but kept it here anyway. |
classic | A classic work; it might be a bit heavy, but worth knowing about. |
(no rating) | I haven't read it or haven't formed an opinion on it. |
Ratings don't usually apply to Wikipedia articles, as the quality of those can drift over time.
Handiest
Mathematical operators and symbols in Unicode - Wikipedia
List of logic symbols - Wikipedia
TODO
- Match wayback machine links, show "(wayback)" on them
- Collect entries, read or compute "topics", distribute to all listed topics
- Schemas for Feedmark files
- Link see-also with anchor to heading of dest page
- Questions
- Collect CC-licensed content into local, combined document
- Rename repo to "Resources" or something
Commit History
@eda49da3d716d4179d609d219cc399128a3b1477
git clone https://git.catseye.tc/The-Glosscubator/
- Add two papers on the Rho Calculus (Term Rewriting). Chris Pressey 1 year, 3 months ago
- Add two more Apple II books and a 6502 Repository. Chris Pressey 1 year, 3 months ago
- More Apple II resources. Chris Pressey 1 year, 3 months ago
- Add Apple II category. Chris Pressey 1 year, 3 months ago
- Rate some resources. Chris Pressey 1 year, 3 months ago
- Rate a few of these resources. Chris Pressey 1 year, 3 months ago
- Add Scheme and x86 topics. Chris Pressey 1 year, 3 months ago
- Add 5 web pages and 2 repositories. Chris Pressey 1 year, 3 months ago
- Add an assortment of resources. Chris Pressey 1 year, 3 months ago
- Add Python category, and a couple of Unification repositories. Chris Pressey 1 year, 3 months ago