Similar repositories to mmirman/useful-combinators:
mmirman/useful-combinators
github
similar
mmirman/xmonad-config
github
similar
mmirman/cmu-skillswap-2012
github
similar
mmirman/order
github
similar
mmirman/lisp
github
similar
mmirman/raskell
github
similar
mmirman/ollibot
github
similar
mmirman/regular-manifold-containers
github
similar
mmirman/haskogeneous
github
similar
mmirman/class-lambda
github
similar
mmirman/smartai
github
similar
mmirman/mops
github
similar
mmirman/lethargic-python
github
similar
mmirman/lambda-placeholders
github
similar
mmirman/forward-chan
github
similar
mmirman/Korma
github
similar
neilhoulsby/pref_learning
github
similar
kathawala/symdiff
github
similar
mmirman/rpc-framework
github
similar
ajknapp/accelerate-ad
github
similar
agda/agda-system-io
github
similar
TikhonJelvis/Cow
github
similar
mmirman/ImperativeHaskell
github
similar
mmirman/caledon
github
similar
mmirman/conpig
github
similar
eth-sri/ELINA
github
similar
msgpack/msgpack-haskell
github
similar
simhu/cubical
github
similar
mstksg/backprop
github
similar
mikeizbicki/HerbiePlugin
github
similar
mmirman/MentisOculi
github
similar
andrejbauer/homotopy-type-theory-course
github
similar
AdamCobb/hamiltorch
github
similar
eth-sri/eran
github
similar
liamoc/learn-you-an-agda
github
similar
haskell-numerics/hmatrix
github
similar
chrisdone/hell
github
similar
mortberg/cubicaltt
github
similar
clvrai/SSGAN-Tensorflow
github
similar
hasktorch/hasktorch
github
similar