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/
- Un-rate a number of papers I've been meaning to (re)read. Chris Pressey 4 months ago
- Rate and finish commentary on a Topology paper. Chris Pressey 4 months ago
- Add a Modal Logic webpage and a Name Binding repository. Chris Pressey 4 months ago
- Add three repos and a webpage for a programming language. Chris Pressey 4 months ago
- Add an Algorithm web page, and commentary on same. Chris Pressey 4 months ago
- Add several more Forth resources, mainly repositories. Chris Pressey 4 months ago
- Add Forth category, and several books and a paper therein. Chris Pressey 4 months ago
- Rate a paper. Chris Pressey 4 months ago
- Rate a book (actually conference proceedings). Chris Pressey 4 months ago
- Rate a book. Chris Pressey 4 months ago
- Add two commentary Chris Pressey 4 months ago
- Rate and add commentary on another paper. Chris Pressey 4 months ago
- Rate a paper and add several commentary. Chris Pressey 4 months ago
- Add some commentary. Chris Pressey 4 months ago
- Rate another paper (actually slides for a talk) Chris Pressey 4 months ago
- Add a web page and rate a paper. Chris Pressey 4 months ago
- Add two web pages and one repository on Retrocomputing topics. Chris Pressey 4 months ago
- Add a Programming Language and a Game Development repo. Chris Pressey 4 months ago
- Add a web page and two repositories on Relational Programming. Chris Pressey 4 months ago
- Add a few x86 and Programming Language resources. Chris Pressey 4 months ago
- Commentary on a Calculus of Constructions paper. Chris Pressey 4 months ago
- Add two web resources, in Logic and Abstract Algebra. Chris Pressey 4 months ago
- More commentary. Chris Pressey 4 months ago
- Rate, comment on, and fix URL of a Matroid Theory paper. Chris Pressey 4 months ago
- Add commentary for several papers. Chris Pressey 4 months ago
- Add a Formal Semantics paper. Chris Pressey 4 months ago
- Add a Functional Programming paper. Chris Pressey 4 months ago
- Fix paper online link. Chris Pressey 4 months ago
- Add Matroid Theory category, and a Book and a Paper in it. Chris Pressey 4 months ago
- Rate a Theorem Proving paper. Chris Pressey 4 months ago