101 Repositories
pl-catalog
778
category-theory-resources
676
formal-systems-in-biology
496
models-of-interaction
346
os-catalog
336
lambda-calculus-visualizations
176
Illustrated-Primers
172
networked-notebooks
153
notation
152
morphisms-of-computational-structures
128
Visual-Math-Tools
107
semantic-zoom
101
knowledge-atlases
88
history-of-logic
62
htdp
34
history-of-mathematics
33
typefaces
31
probability-statistics-reading-list
31
nature-of-thought
27
learning-topology
18
lambda-calculus
15
learn-cs
14
the-little-schemer
12
history-of-lambda-calculus
12
algebra-books
12
toe-atlas
9
history-of-computers
9
database-readings
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
history-of-typefaces
3
hidden-gems-in-computer-science
3
ai-design
3
yantra
2
use-of-maths-in-programming
2
syntax-semantics-pragmatics
2
metacompilers
2
math-gifs
2
great-ideas-in-computer-science
2
dharma-reading-list
2
books-on-computation
2
Ancient-Languages
2