Similar repositories to cartazio/system-lf:

• cartazio/system-lf github similar
• danistefanovic/build-your-own-x github similar
• pcaisse/language-map-us github similar
• osa1/wasmrun github similar
• FreeProving/language-coq github similar
• bristolpl/intensional-datatys github similar
• joshuasellers/CardgameDSL github similar
• luqui/manifesto github similar
• jespercockx/ttac github similar
• Ptival/language-coq github similar
• mbrodersen/idris-sandbox github similar
• minchaowu/mm-lean github similar
• kcsmnt0/proof-trees github similar
• madgen/refinement-types-seminar github similar
• shayan-najd/HsAST github similar
• ivanbakel/coq-antivalence github similar
• eddywestbrook/predicate-monads github similar
• themattchan/lamb github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• mit-plv/reification-by-parametricity github similar
• identicalsnowflake/cantor-pairing github similar
• bramvdbogaerde/z3-wasm github similar
• phadej/language-pts github similar
• ayberkt/simplc github similar
• letouzey/coq-minicalc github similar
• JakobBruenker/curses-idris github similar
• srdqty/talc-3.0 github similar
• liamoc/dddp github similar
• clarus/coq-of-js github similar
• ekmett/hyperfunctions github similar
• egison/sweet-egison github similar
• appliedfm/vstyle github similar
• themattchan/haskell-tiger github similar
• mrkgnao/pico github similar
• JoeyEremondi/lambda-pi-constraint github similar
• SimonBoulier/TypingFlags github similar
• gallais/thesis github similar
• takanuva/coc github similar
• UlfNorell/quasi-quote github similar
• Lysxia/coq-ceres github similar