History of
TOPICS.md
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add PostgreSQL topic, and 11 web pages therein.
Chris Pressey
a month ago
-
Add 4-Dimensional Space topic, and two web pages in it.
Chris Pressey
a month ago
-
Add a few web pages. Make a few adjustments to ratings.
Chris Pressey
a month ago
-
Add Astronomy topic, 2 pages in it, crossover with Physics.
Chris Pressey
a month ago
-
Add Character Sets topic, with 9 web pages, 1 is very interesting.
Chris Pressey
a month ago
-
Add Forth category, and several books and a paper therein.
Chris Pressey
2 months ago
-
Add Matroid Theory category, and a Book and a Paper in it.
Chris Pressey
3 months ago
-
Split Calculus of Constructions topic off from Coq topic.
Chris Pressey
3 months ago
-
Rename Specification category to Formal Specification.
Chris Pressey
3 months ago
-
Add Game Assets category, and 6 web resources in it.
Chris Pressey
3 months ago
-
Introduce TLA+ category, and add 1991 paper by Lamport on TLA.
Chris Pressey
3 months ago
-
Add Abstract Algebra topic, move some papers there.
Chris Pressey
3 months ago
-
Add a very interesting paper on Dynamic Programming.
Chris Pressey
3 months ago
-
Delete the Rewriting Logic topic, merge into Term Rewriting.
Chris Pressey
3 months ago
-
Add Chaos Theory as a topic, and a lovely old lesson on it.
Chris Pressey
3 months ago
-
Add Apple II category.
Chris Pressey
3 months ago
-
Add Scheme and x86 topics.
Chris Pressey
3 months ago
-
Add Python category, and a couple of Unification repositories.
Chris Pressey
3 months ago
-
Add Term Rewriting topic, and a book, and a paper.
Chris Pressey
3 months ago
-
Add 6502 category, several repos, license info on all repos.
Chris Pressey
3 months ago
-
Add User Interface topic, and a couple of books, a couple of repos.
Chris Pressey
3 months ago
-
Add Public Domain category.
Chris Pressey
4 months ago
-
Add Parsing category, and a number of papers.
Chris Pressey
4 months ago
-
Add more books and papers about Logic, and Proof Theory category.
Chris Pressey
4 months ago
-
Add eight papers and a new category, Name Binding.
Chris Pressey
4 months ago
-
Add Rewriting Logic category.
Chris Pressey
4 months ago
-
Add Unification category, and resources in Modal Logic, and Types.
Chris Pressey
4 months ago
-
Add several Papers and a Book about Reactive Systems.
Chris Pressey
4 months ago
-
Add Recreational Mathematics topic, and papers books pages in it.
Chris Pressey
4 months ago
-
Add the long-awaited Topology category.
Chris Pressey
4 months ago