Similar repositories to avsm/Ivor:

• avsm/Ivor github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• avsm/idr-IP github similar
• edwinb/idr-IP github similar
• GallagherCommaJack/tt-provability github similar
• edwinb/Ivor github similar
• jozefg/hlf github similar
• newca12/haskell-atp github similar
• avsm/Idris github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• tel/intone github similar
• nbenton/coqdomains github similar
• ekmett/groupoids github similar
• avsm/EpiVM github similar
• brick-lang/kiln github similar
• paf31/Purity github similar
• JasonGross/lob github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• Blaisorblade/Agda-playground github similar
• jonsterling/agda-effectful-forcing github similar
• jdoughertyii/hott-species github similar
• mirage/mirage-entropy github similar
• idris-hackers/idris-bot github similar
• spectra-music/spectra github similar
• inc-lc/ilc-agda github similar
• agda/agda-frp-ltl github similar
• GaloisInc/ICryptol github similar
• gallais/agdarky github similar
• mikeshulman/dirtt github similar
• gergoerdi/stlc-agda github similar
• ekmett/multicategories github similar
• jashug/FormalizedCompilerAlgorithms github similar
• yallop/pldi2014-papers github similar
• jonsterling/hs-abt github similar
• spacekitteh/haskell-clifford github similar
• mor1/mirage-tutorial github similar
• boyland/sasylf github similar
• markokoleznik/agda-writer github similar
• bitonic/hakyll-agda github similar