Similar repositories to finnteegen/pflp:

• finnteegen/pflp github similar
• beje8442/haskellToCoqCompiler github similar
• finnteegen/synthesizing-set-functions github similar
• jan-christiansen/Language-based-Security github similar
• Lysxia/coq-recursion-schemes github similar
• mathandley/RTick github similar
• andreasabel/shift-reset-dsl github similar
• KolodeznyDiver/THEff github similar
• Fermat/dependent-fold github similar
• skeuchel/language-coq github similar
• erikkaplun/curry-kics2 github similar
• cse130-wi19/00-lambda github similar
• fwcd/project-lighthouse-haskell github similar
• fwcd/swift-prolog github similar
• fwcd/llcurry github similar
• nikivazou/proof-combinators github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• jkoppel/thermometer-continuations github similar
• phadej/ncill github similar
• jules-hedges/open-games github similar
• aaronvargo/naperian github similar
• wwu-pi/muli github similar
• jihgfee/coq-system_f github similar
• cau-placc/ghc-language-plugin github similar
• ssomayyajula/elab github similar
• UU-ComputerScience/uu-cco github similar
• jespercockx/ttac github similar
• ankitku/TAL0 github similar
• aa755/paramcoq github similar
• openbrainsrc/hstan github similar
• gallais/proof-search-ILLWiL github similar
• bacam/handlers-in-ott github similar
• paf31/purescript-lens-simple github similar
• viercc/matchable github similar
• wouter-swierstra/predicate-transformers github similar
• gdijkstra/hs-to-gallina github similar
• FormationAI/proto-lens-grpc github similar
• pa-ba/alacarte-idris github similar
• FreeProving/free-proving-code github similar