Similar repositories to eholk/coq-stlc:

• eholk/coq-stlc github similar
• yurrriq/idris-logic github similar
• takanuva/coc github similar
• gmalecha/coq-interaction-trees github similar
• pflanze/functional-perl github similar
• xavierleroy/coq2html github similar
• rafaelcgs10/W-in-Coq github similar
• TOTBWF/muprl github similar
• uwplse/CoqAST github similar
• OUPL/MLCert github similar
• Mtac2/Mtac2 github similar
• TOTBWF/tactic-haskell github similar
• coq-community/coq-art github similar
• sellout/yaya github similar
• racket/redex github similar
• Mzk-Levi/texts github similar
• MaiaVictor/calculus-of-constructions github similar
• agda/agda2hs github similar
• jozefg/nbe-for-mltt github similar
• cpitclaudel/alectryon github similar
• mattam82/Coq-Equations github similar
• smtcoq/smtcoq github similar
• shiika-lang/shiika github similar
• cpitclaudel/biblio.el github similar
• aya-prover/aya-dev github similar
• jwiegley/coq-haskell github similar
• lukaszcz/coqhammer github similar
• david-christiansen/pie-hs github similar
• QuickChick/QuickChick github similar
• ott-lang/ott github similar
• MetaCoq/metacoq github similar
• princeton-vl/CoqGym github similar
• Malax/elmboy github similar
• anoma/juvix github similar
• tchajed/coq-tricks github similar
• slovnicki/pLam github similar
• MaiaVictor/Symmetric-Interaction-Calculus github similar
• dillonkearns/elm-pages github similar
• achlipala/frap github similar
• JetBrains/Arend github similar