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
- Comics
- Commodore 64
- Compiler Construction
- Computational Complexity
- Computer Graphics
- Computer Security
- 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
- Labyrinths
- Lambda Calculus
- Linguistics
- Lisp
- Literature
- Logic
- Logic Programming
- Lua
- Macros
- Mathematics
- Matroid Theory
- miniKanren
- Modal Logic
- Model Checking
- Monads
- Name Binding
- Nautilus
- npm
- Numerical Analysis
- Operational Semantics
- 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
- Research
- Retrocomputing
- Scheme
- Shell Scripting
- Software Engineering
- Systems Theory
- Technologies
- Term Rewriting
- Theorem Proving
- Theory of Computation
- TLA(plus)
- Topology
- TRS-80
- Type Systems
- Type Theory
- Unification
- User Interface
- VIC-20
- Video Formats
- Web APIs
- x86
- Z80
- Zoology
History of
by-topic
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Workaround no longer needed w/version 0.18 of Feedmark. Chris Pressey 13 days ago
- Swap out game that is already in Some Games of Note. Chris Pressey a month ago
- Add a Game Development web resource. (And a workaround...) Chris Pressey a month ago
- Commentary on the Type Theory article in SEP. Chris Pressey 2 months ago
- Add some commentary on that book by Tarski and Givant. Chris Pressey 2 months ago
- Add three books on Computer Graphics. Chris Pressey 2 months ago
- Add some more commentary. Chris Pressey 2 months ago
- Add commentary Chris Pressey 2 months ago
- Add some commentary. Chris Pressey 2 months ago
- Update some broken links. Chris Pressey 2 months ago
- Add `Research` topic, and several resources in it. Chris Pressey 2 months ago
- Render topic description on README; more topics have wikipedia. Chris Pressey 2 months ago
- Add 2 computer graphics repositories. Chris Pressey 2 months ago
- Add two repositories. Chris Pressey 2 months ago
- Add Operational Semantics topic, and one web resource; move two. Chris Pressey 2 months ago
- Add a web resource and another repo for Computer Graphics. Chris Pressey 2 months ago
- Add Computer Graphics topic & 2 repositories & 1 book under it. Chris Pressey 2 months ago
- Add a Wikipedia article and rate a few entries. Chris Pressey 2 months ago
- Add another paper on macros in staged compilation. Chris Pressey 3 months ago
- Add a paper on staged compilation. Chris Pressey 3 months ago
- Add Logic Machines and Diagrams. Chris Pressey 7 months ago
- Add Book on Game Development, and fix titles of two others. Chris Pressey 7 months ago
- Update the entry for The Magical Maze. Chris Pressey 7 months ago
- Catalogue entry for book. Chris Pressey 8 months ago
- Add some comments, and a rating, on Hyperproof. Chris Pressey 11 months ago
- I don't care about this paper. Chris Pressey 11 months ago
- Rate a paper (the handbook chapter on modal mu-calculus). Chris Pressey 11 months ago
- Rate a paper and add another paper that it cites. Chris Pressey 11 months ago
- Add a web resource on thumbnails and rate a book. Chris Pressey 1 year, 1 month ago
- Add a book about the formalization of architecture, not yet rated. Chris Pressey 1 year, 5 months ago