94 Repositories
pl-catalog
763
category-theory-resources
570
formal-systems-in-biology
459
models-of-interaction
326
Illustrated-Primers
143
networked-notebooks
140
notation
133
morphisms-of-computational-structures
117
Visual-Math-Tools
88
lambda-calculus-visualizations
83
knowledge-atlases
75
history-of-logic
54
history-of-mathematics
32
htdp
29
typefaces
27
nature-of-thought
26
probability-statistics-reading-list
21
learning-topology
18
lambda-calculus
15
learn-cs
13
the-little-schemer
11
history-of-lambda-calculus
10
toe-atlas
9
history-of-computers
8
database-readings
8
algebra-books
8
godel-reading-list
5
funbox
5
models-of-computation
4
history-of-type-theory
4
history-of-philosophy
4
Seminal-Papers-in-Computer-Science
3
linguistics-reading
3
hidden-gems-in-computer-science
3
formal-languages-reading-list
3
philosophy-of-mathematics
3
Peirce
3
yantra
2
use-of-maths-in-programming
2
syntax-semantics-pragmatics
2
metacompilers
2
history-of-typefaces
2
great-ideas-in-computer-science
2
books-on-computation
2
Ancient-Languages
2
ai-design
2
zahar
1
web-assembly
1
visual-group-theory
1
theories-of-unification
1