Tree @master (Download .tar.gz)
- ..
- 4-Dimensional Space
- 6502
- Abstract Algebra
- Agile Development
- Algebraic Logic
- Algorithms
- Apple II
- Artificial Intelligence
- Astronomy
- Attribute Grammars
- Automata Theory
- BASIC
- Bioinformatics
- Calculus of Constructions
- Category Theory
- Chaos Theory
- Character Sets
- Closure Systems
- Combinatorics
- Commodore 64
- Compiler Construction
- Computational Complexity
- Constraint Programming
- Coq
- Dafny
- Docker
- DOM
- DOS
- Electronics
- Electronics Projects
- Energy Management
- Equational Logic
- FoM
- Formal Language
- Formal Specification
- Forth
- Functional Programming
- Game Assets
- Game Design
- Game Development
- Games
- Genetic Programming
- Group Theory
- Haskell
- Image Formats
- Incompleteness
- JavaScript
- Lambda Calculus
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- Matroid Theory
- miniKanren
- Modal Logic
- Model Checking
- Name Binding
- Nautilus
- npm
- Numerical Analysis
- Order Theory
- Parsing
- Partial Evaluation
- Pascal
- Philosophy
- Phraseology
- Physics
- PLDI
- PostgreSQL
- Probability Theory
- Programming Languages
- Prolog
- Proof Theory
- Public Domain
- Python
- Reactive Systems
- Recreational Mathematics
- Refinement Calculus
- Relational Programming
- Retrocomputing
- Scheme
- Shell Scripting
- Software Engineering
- Systems Theory
- Technology
- Term Rewriting
- Theorem Proving
- Theory of Computation
- TLA(plus)
- Topology
- TRS-80
- Type Systems
- Type Theory
- Unification
- User Interface
- VIC-20
- Web APIs
- x86
History of
by-topic
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Some commentary on a semantics paper on the arxiv. Chris Pressey 4 months ago
- Split Calculus of Constructions topic off from Coq topic. Chris Pressey 4 months ago
- Rename Specification category to Formal Specification. Chris Pressey 4 months ago
- Add three vols of "Handbook of logic in AI and logic programming" Chris Pressey 4 months ago
- Add a Functional Programming book. Chris Pressey 4 months ago
- Add two web pages, one of which is Top Rated. Chris Pressey 4 months ago
- Add four x86 books. Chris Pressey 4 months ago
- Add a Pascal repository. Chris Pressey 4 months ago
- Add Game Assets category, and 6 web resources in it. Chris Pressey 4 months ago
- Introduce TLA+ category, and add 1991 paper by Lamport on TLA. Chris Pressey 4 months ago
- Checkpoint removing `src` directories. Chris Pressey 4 months ago
- Add another Public Domain resource (Jeff Minter's 8-bit games). Chris Pressey 4 months ago
- Fix link. Chris Pressey 4 months ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 4 months ago
- Link see-also links to anchor Chris Pressey 4 months ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 4 months ago