99 Repositories
pl-catalog
780
category-theory-resources
671
formal-systems-in-biology
495
models-of-interaction
343
os-catalog
338
lambda-calculus-visualizations
175
Illustrated-Primers
170
networked-notebooks
153
notation
150
morphisms-of-computational-structures
129
Visual-Math-Tools
106
semantic-zoom
88
knowledge-atlases
86
history-of-logic
62
htdp
34
history-of-mathematics
33
typefaces
30
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
algebra-books
10
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
books-on-computation
2
Ancient-Languages
2
zahar
1