Similar repositories to willkurt/lacan-racket:
willkurt/lacan-racket
github
similar
juxt/crux
github
similar
SmithCollege-SDS/tidy-islr
github
similar
ElliotSwart/pragmaticformalmodeling
github
similar
philzook58/egglog
github
similar
willkurt/ProbAndStats-PyDataNYC2019
github
similar
Vanlightly/bookkeeper-tlaplus
github
similar
hailstorm-hs/hailstorm
github
similar
HoTT-Intro/Agda
github
similar
philzook58/z3_tutorial
github
similar
historicalsource/zork2
github
similar
jaredly/veoluz
github
similar
historicalsource/zork3
github
similar
saurabhkukade/Haskell_Study
github
similar
cpitclaudel/alectryon
github
similar
tech-srl/Nero
github
similar
morloc-project/morloc
github
similar
sellout/recursion-scheme-talk
github
similar
brettkromkamp/topic-db
github
similar
ericrayanderson/shinymaterial
github
similar
Apress/practical-tla-plus
github
similar
brettkromkamp/awesome-knowledge-management
github
similar
plotly/IPython-plotly
github
similar
zeromq/azmq
github
similar
shapr/markovkeyboard
github
similar
ruricolist/cloture
github
similar
blackjax-devs/blackjax
github
similar
ligurio/practical-fm
github
similar
commercialhaskell/commercialhaskell
github
similar
sonictruth/vr-dos
github
similar
thma/WhyHaskellMatters
github
similar
facebookincubator/retrie
github
similar
topshell-language/topshell
github
similar
projectional-haskell/structured-haskell-mode
github
similar
gboeing/pynamical
github
similar
uwplse/verdi
github
similar
google/jaxopt
github
similar
AlloyTools/org.alloytools.alloy
github
similar
jenniferlynparsons/awesome-writing
github
similar
threatgrid/asami
github
similar