Similar repositories to mmirman/Korma:

• mmirman/Korma github similar
• mmirman/useful-combinators github similar
• mmirman/class-lambda github similar
• mmirman/regular-manifold-containers github similar
• mmirman/haskogeneous github similar
• kathawala/symdiff github similar
• ajknapp/accelerate-ad github similar
• agda/agda-system-io github similar
• puffnfresh/tryidris github similar
• TikhonJelvis/Cow github similar
• mmirman/ImperativeHaskell github similar
• fortytools/holumbus github similar
• msgpack/msgpack-haskell github similar
• UU-ComputerScience/uhc github similar
• ajhc/ajhc github similar
• simhu/cubical github similar
• mmirman/caledon github similar
• mstksg/backprop github similar
• mikeizbicki/HerbiePlugin github similar
• liamoc/learn-you-an-agda github similar
• andrejbauer/homotopy-type-theory-course github similar
• dag/vim2hs github similar
• haskell/hackage-server github similar
• haskell-numerics/hmatrix github similar
• eagletmt/neco-ghc github similar
• eagletmt/ghcmod-vim github similar
• chrisdone/hell github similar
• mortberg/cubicaltt github similar
• ndmitchell/hoogle github similar
• AccelerateHS/accelerate github similar
• faylang/fay github similar
• hasktorch/hasktorch github similar
• valderman/haste-compiler github similar
• GaloisInc/HaLVM github similar
• quchen/articles github similar
• HoTT/HoTT github similar
• HuwCampbell/grenade github similar
• tensorflow/haskell github similar
• ghcjs/ghcjs github similar
• ghc/ghc github similar