Similar repositories to XmacsLabs/interactive-sicp:
gibiansky/IHaskell
github
similar
silvanshade/cool-tt
github
similar
XmacsLabs/interactive-sicp
github
similar
danistefanovic/build-your-own-x
github
similar
Eugeny/terminus
github
similar
k6io/k6
github
similar
NetchX/Netch
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
tuvtran/project-based-learning
github
similar
mmcqd/fibertt
github
similar
vrahli/EventML
github
similar
otim-project/ega
github
similar
adrieng/sync-lang
github
similar
pigworker/SmolCat
github
similar
ejgallego/real-world-coq
github
similar
xuanruiqi/algebraic-geometry
github
similar
favonia/ocaml-objdump
github
similar
leo-colisson/zx-calculus
github
similar
nmvdw/RezkCompletion
github
similar
RobertHarper/pfpl-defns
github
similar
jonsterling/lean-syntax
github
similar
unimath2019-tt/UniMath
github
similar
favonia/kusariyarou
github
similar
jonsterling/coq-algebra-experiments
github
similar
mvr/rainbow
github
similar
yizhouzhang/olaf-coq
github
similar
wadler/bnfc-examples
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
pribanacek/cicadas
github
similar
TOTBWF/cooltt-categories
github
similar
ejgallego/coq-universe
github
similar
axiomsofchoice/cat-svg
github
similar
goldfirere/ott-tutorial
github
similar
sseefried/learning-agda
github
similar
kckennylau/mathlib4
github
similar
niccoloveltri/final-pfin
github
similar
RedPRL/asai
github
similar
RedPRL/sml-lcf
github
similar
guillaumebrunerie/SmashProduct
github
similar
jirkamarsik/lambda-mu
github
similar