Similar repositories to beje8442/haskellToCoqCompiler:

• beje8442/haskellToCoqCompiler github similar
• danistefanovic/build-your-own-x github similar
• jan-christiansen/Language-based-Security github similar
• mukeshtiwari/Coq-automation github similar
• fwcd/project-lighthouse-haskell github similar
• fwcd/swift-prolog github similar
• fwcd/llcurry github similar
• finnteegen/pflp github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• bristolpl/intensional-datatys github similar
• aaronvargo/naperian github similar
• cau-placc/ghc-language-plugin github similar
• ssomayyajula/elab github similar
• andreasabel/shift-reset-dsl github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar
• jespercockx/ttac github similar
• Fermat/dependent-fold github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• paf31/purescript-lens-simple github similar
• viercc/matchable github similar
• wouter-swierstra/predicate-transformers github similar
• pa-ba/alacarte-idris github similar
• lukeg101/MScProjectPublic github similar
• poplmark-reloaded/poplmark-reloaded github similar
• nikivazou/proof-combinators github similar
• phadej/lens-laws github similar
• ssomayyajula/refinery github similar
• rodrigogribeiro/unification github similar
• YaZko/Coq_Cheat_Sheet github similar
• jules-hedges/open-games github similar
• hsfl-pltp/fp-companies-sh-hh github similar
• ankitku/TAL0 github similar
• sebfisch/explicit-sharing github similar
• tchajed/coq-tactical github similar
• nikivazou/EquationalReasoningInLiquidHaskell github similar
• uwplse/magic github similar
• mathandley/Unie github similar
• taktoa/wasm-agda github similar