96 Repositories
pl-catalog
766
category-theory-resources
620
formal-systems-in-biology
472
models-of-interaction
335
Illustrated-Primers
160
networked-notebooks
148
notation
138
morphisms-of-computational-structures
123
lambda-calculus-visualizations
109
Visual-Math-Tools
94
knowledge-atlases
79
history-of-logic
55
htdp
33
history-of-mathematics
33
probability-statistics-reading-list
27
nature-of-thought
27
typefaces
26
learning-topology
17
lambda-calculus
16
learn-cs
14
history-of-lambda-calculus
12
the-little-schemer
11
toe-atlas
9
database-readings
9
history-of-computers
8
algebra-books
8
history-of-philosophy
6
godel-reading-list
5
funbox
5
models-of-computation
4
history-of-type-theory
4
Seminal-Papers-in-Computer-Science
3
philosophy-of-mathematics
3
Peirce
3
linguistics-reading
3
hidden-gems-in-computer-science
3
formal-languages-reading-list
3
Ancient-Languages
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
ai-design
2
zahar
1
web-assembly
1
visual-group-theory
1
theories-of-unification
1