Similar repositories to jespercockx/ttac:

• jespercockx/ttac github similar
• danistefanovic/build-your-own-x github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• bristolpl/intensional-datatys 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
• jwiegley/zomega github similar
• doofin/alg-statistics github similar
• Lysxia/coq-recursion-schemes github similar
• justinwoo/purescript-mochi github similar
• tootsuite/mastodon github similar
• FreeProving/language-coq github similar
• ssomayyajula/elab github similar
• asr/tm-coinduction github similar
• kcsmnt0/proof-trees github similar
• taktoa/mltt github similar
• jdublu10/STLC-to-SKI github similar
• justinwoo/purescript-has-js-rep github similar
• jrraymond/ray-tracer github similar
• ayberkt/CFG-random github similar
• drobakowski/cloud-haskell-talk github similar
• Taneb/net github similar
• bamboo/idris-codegen-sexp github similar
• ayberkt/agda-brzozowski github similar
• nikivazou/proof-combinators github similar
• beje8442/haskellToCoqCompiler github similar
• isovector/erdos github similar
• amcknight/scont github similar
• goldfirere/ott-tutorial github similar
• MathiasVP/Z github similar
• gmalecha/coq-plugin-template github similar
• jihgfee/coq-system_f github similar
• gallais/thesis github similar
• pcaisse/language-map-us github similar
• osa1/wasmrun github similar