Similar repositories to andrejbauer/book:
andrejbauer/book
github
similar
precog/quasar
github
similar
meilisearch/MeiliSearch
github
similar
andrejbauer/lvr-sat
github
similar
webyrd/summer-scheming
github
similar
jasonhemann/constraint-microKanren
github
similar
takikawa/racket-dev-goodies
github
similar
jbclements/sxml
github
similar
carlohamalainen/pysecd
github
similar
vseloved/progalgs-code
github
similar
winitzki/linear-algebra-book
github
similar
orsinium-labs/python-lambda-calculus
github
similar
endobson/racket-llvm
github
similar
quicklisp/quicklisp-slime-helper
github
similar
jsiek/B629-denotational
github
similar
williamstein/rh
github
similar
sweirich/lambda-n-ways
github
similar
viebel/data-oriented-programming
github
similar
yjqww6/drracket-paredit
github
similar
mark-watson/Clojure-AI-Book-Code
github
similar
miniKanren/Racket-miniKanren
github
similar
iitis/QuantumInformation.jl
github
similar
MasseGuillaume/ScalaKata2
github
similar
benji6/church
github
similar
miniKanren/TheReasonedSchemer
github
similar
aimacode/aima-julia
github
similar
benzap/eden
github
similar
mnielsen/tiddlylisp
github
similar
fogus/bacwn
github
similar
thatdot/quine
github
similar
calvis/cKanren
github
similar
bigfish/vim-js-context-coloring
github
similar
type-theory/type-theory-study-group
github
similar
epsil/gll
github
similar
tpope/vim-salve
github
similar
samrushing/irken-compiler
github
similar
tulip-lang/tulip
github
similar
clojure/tools.reader
github
similar
swadey/LispSyntax.jl
github
similar
greghendershott/rackjure
github
similar