Similar repositories to gdijkstra/hs-to-gallina:

• gdijkstra/hs-to-gallina github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• k6io/k6 github similar
• Eugeny/terminus github similar
• mpickering/elaborator-reflection-haskell github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• MathiasVP/Z github similar
• groupoid/anders github similar
• tchajed/coq-tactical github similar
• ssomayyajula/elab github similar
• uwplse/magic github similar
• jespercockx/ttac github similar
• Fermat/dependent-fold github similar
• taktoa/wasm-agda github similar
• finnteegen/pflp github similar
• m0rphism/definitional github similar
• SimonBoulier/TypingFlags github similar
• LightAndLight/parametricity-proofs github similar
• uwplse/oeuf github similar
• nikivazou/proof-combinators github similar
• brownplt/lambdajs-coq github similar
• MathiasVP/Alpha github similar
• coq-contribs/finger-tree github similar
• LightAndLight/certified-lc github similar
• ezyang/groom github similar
• kwf/Presburger github similar
• ivanbakel/coq-antivalence github similar
• minad/tasty-stats github similar
• mathandley/RTick github similar
• omelkonian/ghc-fork github similar
• pkamenarsky/quadtree github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• leohawke/LeoEngine github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar