Similar repositories to gergoerdi/mgu-agda:

• liyang/stm-proof github similar
• gergoerdi/mgu-agda github similar
• dima-starosud/Dynamic github similar
• bobatkey/sorting-types github similar
• batterseapower/chsc github similar
• pigworker/Pivotal github similar
• markokoleznik/agda-writer github similar
• rodrigogribeiro/agda-software-foundations github similar
• pseudonom/phantheck github similar
• aneksteind/Core github similar
• UlfNorell/x86-agda github similar
• jaalonso/Lecturas_GLC github similar
• m0ar/lollipop github similar
• erikd/haskell-big-integer-experiment github similar
• TiarkRompf/rrbtrees github similar
• crypto-agda/crypto-agda github similar
• killy971/hpc-coveralls github similar
• UlfNorell/agda-summer-school github similar
• alhassy/gentle-intro-to-reflection github similar
• edwinb/EpiVM github similar
• emina/kodkod github similar
• moonad-archive/Formality-JavaScript github similar
• MichaelBurge/haskoin github similar
• analytics/analytics github similar
• zalora/upcast github similar
• commercialhaskell/stack-ide github similar
• luqui/vatican github similar
• jonleivent/mindless-coding github similar
• TiarkRompf/lancet github similar
• jberryman/unagi-chan github similar
• nix-community/linuxkit-nix github similar
• discus-lang/iron github similar
• simhu/cubical github similar
• ajhc/ajhc github similar
• pkamenarsky/concur-replica github similar
• ermine-language/ermine github similar
• gasche/icfp2017-papers github similar
• well-typed/generics-sop github similar
• w7cook/AoPL github similar
• ekmett/hask github similar