Similar repositories to yallop/haskell-frex:

• yallop/haskell-frex github similar
• frex-project/haskell-frex github similar
• ollef/incrementalism github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• UlfNorell/quasi-quote github similar
• frex-project/agda-fragment github similar
• mrkgnao/pico github similar
• andrewthad/primitive-indexed github similar
• LightAndLight/parametricity-proofs github similar
• edsko/stack2cabal github similar
• ocramz/taco-hs github similar
• jmlowenthal/staged-streams.agda github similar
• mpickering/elaborator-reflection-haskell github similar
• cocreature/robinhood github similar
• GaloisInc/cryptol-verifier github similar
• mstksg/wavelets github similar
• ranjitjhala/ghc-options github similar
• andrejtokarcik/agda-semantics github similar
• gelisam/worldly github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• JoeyEremondi/lambda-pi-constraint github similar
• metaocaml/metaocaml-opam github similar
• shayan-najd/HsAST github similar
• lambdabetaeta/modal-logics github similar
• shaunlebron/parinfer github similar
• inanna-malick/hgit github similar
• LightAndLight/cbpv github similar
• treeowl/lazify github similar
• Zekt/Type-Embellishment github similar
• qrilka/haskell-navigation github similar
• LightAndLight/closure github similar
• maybevoid/dabble github similar
• LightAndLight/lambdapi github similar
• andrewthad/bytehash github similar
• yizhouzhang/olaf-coq github similar
• benjaminselfridge/logix github similar
• ekmett/name github similar