Similar repositories to edwinb/Eff:

• edwinb/Eff github similar
• gibiansky/IHaskell github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• polasek/idris-scientific github similar
• pigworker/Frank github similar
• mxswd/lens-inference github similar
• cscheid/plots github similar
• trillioneyes/dyn-universe github similar
• mathandley/RTick github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• mankyKitty/idris-webgl github similar
• shaunlebron/parinfer github similar
• pigworker/ConorLearnsIdris github similar
• dagit/dagit.github.io github similar
• deviant-logic/hokeylog github similar
• sebastiaanvisser/data-reify-cse github similar
• MaximilianAlgehed/DCC github similar
• NicolasT/vector-simd github similar
• smfactor/UnitsAsTypes github similar
• slebok/slepro github similar
• kfish/const-math-ghc-plugin github similar
• scottgw/llvm github similar
• tel/hs-nanomsg github similar
• leftaroundabout/uncertainly-haskell github similar
• dolio/ww-fusion github similar
• sphynx/iveselov.info github similar
• copumpkin/rational github similar
• dorchard/array-memoize github similar
• ucam-cl-dtg/naps-camfort github similar
• trillioneyes/idris-toys github similar
• copumpkin/drepa github similar
• conal/ty github similar
• alphaHeavy/vacuum-tube github similar
• bitonic/hakyll-agda github similar
• LeifW/online-typechecker github similar
• kosmikus/kaleidoscope-regensburg github similar
• michaelpj/abstract-machine-debuggers github similar
• QBayLogic/benchmark-compilation github similar