100 Repositories
pl-catalog
778
category-theory-resources
661
formal-systems-in-biology
490
models-of-interaction
340
os-catalog
337
Illustrated-Primers
168
lambda-calculus-visualizations
166
networked-notebooks
152
notation
147
morphisms-of-computational-structures
129
Visual-Math-Tools
103
knowledge-atlases
83
semantic-zoom
78
history-of-logic
60
htdp
34
history-of-mathematics
33
typefaces
29
probability-statistics-reading-list
29
nature-of-thought
27
learning-topology
18
lambda-calculus
16
learn-cs
14
the-little-schemer
12
history-of-lambda-calculus
12
toe-atlas
9
history-of-computers
9
database-readings
9
algebra-books
9
history-of-philosophy
6
history-of-type-theory
5
godel-reading-list
5
funbox
5
models-of-computation
4
formal-languages-reading-list
4
Seminal-Papers-in-Computer-Science
3
philosophy-of-mathematics
3
Peirce
3
linguistics-reading
3
hidden-gems-in-computer-science
3
ai-design
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
zahar
1
web-assembly
1