Similar repositories to effectfully/ECC:

• effectfully/ECC github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• aquynh/capstone github similar
• ChrisPenner/purescript-flow github similar
• danistefanovic/build-your-own-x github similar
• tonymorris/trees-that-grow github similar
• myuon/quartz github similar
• ernius/genericBindingFramework github similar
• Icelandjack/blockchain github similar
• tonyday567/formatn github similar
• anchor/docker-build github similar
• BekaValentine/TTInAgda github similar
• np/NomPa github similar
• paf31/blog-source github similar
• widmogrod/typed-config github similar
• iand675/hstate github similar
• aspiwack/haskell-ann github similar
• schernichkin/partial-isomorphisms github similar
• nrinaudo/far-more-adt github similar
• cdornan/hs github similar
• tonyday567/numhask-array github similar
• jirkamarsik/lambda-mu github similar
• omelkonian/formal-process-calculus github similar
• UlfNorell/effects github similar
• effectfully/Eff github similar
• AndrasKovacs/SemanticsWithApplications github similar
• MrChico/Reals-in-agda github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• bobatkey/Forvie github similar
• mjhopkins/StopPayingForFreeMonads github similar
• effectfully/proto-tt github similar
• mmhelloworld/Idris2 github similar
• visual-systems/philosophy github similar
• tweag/servant-template github similar
• mr-ohman/intuitionistic-normalization github similar
• WhereSoftwareGoesToDie/docker-haskell github similar
• ggreif/omega github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• np/names-for-free github similar