Similar repositories to gergoerdi/system-f-agda:

• gergoerdi/system-f-agda github similar
• clintonmead/indextype github similar
• haskoin/murmur3 github similar
• teh/gluon github similar
• ivan-m/transmogrify github similar
• MichaelXavier/tasty-fail-fast github similar
• jarrodjeffi/schminke-hs github similar
• ttuegel/refined-linear github similar
• ezyang/backpack-examples github similar
• SciHS/scihs-docs github similar
• robinvd/rlang github similar
• shaunlebron/parinfer github similar
• uelis/modular github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• arianvp/types-and-statemachines github similar
• Blaisorblade/evalFromToAbsMachines github similar
• grebenyukaa/cmm-compiler-backend github similar
• JasonGross/lob-paper github similar
• smfactor/UnitsAsTypes github similar
• PaulGustafson/stringnet github similar
• larrytheliquid/uAgda github similar
• COST-IC1405/tr_materials github similar
• ernius/formalmetatheory-stoughton github similar
• thoughtbot/distance-of-time github similar
• eborden/filepattern github similar
• yurrriq/the-power-of-pi github similar
• AHartNtkn/Kitmit github similar
• barras/abstract-machines github similar
• mbudde/jana github similar
• GaloisInc/LIMA github similar
• icicle-lang/zebra-ambiata github similar
• joe9/GenericPretty github similar
• haskellformac/GHCframework github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• ocramz/depq github similar
• asajeffrey/finite-dtypes github similar
• ak3n/system-f-pop github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• sto0pkid/CategoryTheory github similar
• gergoerdi/syntactic-stlc github similar