Similar repositories to danelahman/aeff-agda:

• danelahman/aeff-agda github similar
• cwtsteven/DGoIM-Compiler github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• coq-contribs/lazy-pcf github similar
• scheme-requests-for-implementation/srfi-105 github similar
• JasonGross/lob-paper github similar
• barras/abstract-machines github similar
• superfunc/tp github similar
• danelahman/POPL18 github similar
• Vierkantor/refinement-parsers github similar
• andrejbauer/dependent-type-theory-syntax github similar
• nachivpn/k github similar
• brunoczim/typed-symmetric-interaction github similar
• RedPRL/sml-final-pretty-printer github similar
• nachivpn/expelim github similar
• metaocaml/metaocaml-opam github similar
• lambdabetaeta/modal-logics github similar
• peterthiemann/definitional-session github similar
• fizruk/simple-grin github similar
• david-christiansen/tiny-dependent-types github similar
• Zekt/Type-Embellishment github similar
• L-TChen/ModalTypeTheory github similar
• jmchapman/restriction-categories github similar
• gallais/idris-tmustache github similar
• pigworker/Gigs-Summer-2018 github similar
• agda/package-index github similar
• kangrongji/cubical-classics github similar
• ajrouvoet/ternary.agda github similar
• MarcelineVQ/idris2-curl github similar
• JakobBruenker/curses-idris github similar
• limemloh/cubical-congruence github similar
• casvdrest/composable-semantics github similar
• A1kmm/http4idris github similar
• gallais/agdarky github similar
• MarcelineVQ/idris2-streaming github similar
• robrix/sequoia github similar
• andrejbauer/higher-rank-syntax github similar
• bobatkey/agda-metric-reals github similar
• robsimmons/levy github similar