Racket
80
45 commits
updated May 27, 2019
It's on the wiki here:
Pluies/SICP
Answers to the SICP (... to a point)
68
kengonakajima/snippets
25
nponeccop/haskell-exercises
41
henryr/distributed-systems-readings
Readings in distributed systems
411
fpco/applied-haskell
goko897/code
0
unimpor/CFRE
1
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
69.8%
OCaml
30.2%
