Similar repositories to bristolpl/intensional-datatys:

• bristolpl/intensional-datatys github similar
• danistefanovic/build-your-own-x github similar
• alexknvl/recursion-schemes-and-final-tagless github similar
• FreeProving/language-coq github similar
• asr/tm-coinduction github similar
• jespercockx/ttac github similar
• mukeshtiwari/Coq-automation github similar
• kcsmnt0/proof-trees github similar
• beje8442/haskellToCoqCompiler github similar
• ccyip/coq-idt github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• goldfirere/ott-tutorial github similar
• ivanbakel/coq-antivalence github similar
• gmalecha/coq-plugin-template github similar
• jihgfee/coq-system_f github similar
• pcaisse/language-map-us github similar
• osa1/wasmrun github similar
• joshuasellers/CardgameDSL github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• ssomayyajula/elab github similar
• Fermat/dependent-fold github similar
• dhil/hx github similar
• fumieval/data-functor-logistic github similar
• cartazio/system-lf github similar
• luqui/manifesto github similar
• Ptival/language-coq github similar
• ericrasmussen/rust-exercises github similar
• lambdabot/IOSpec github similar
• mbrodersen/idris-sandbox github similar
• minchaowu/mm-lean github similar
• MathiasVP/idris-regex github similar
• thery/T2048 github similar
• poplmark-reloaded/poplmark-reloaded github similar
• mpickering/elaborator-reflection-haskell github similar
• madgen/refinement-types-seminar github similar
• appliedfm/vstyle github similar
• GaloisInc/gadt-starter github similar
• nikivazou/proof-combinators github similar
• SimonBoulier/TypingFlags github similar