Similar repositories to TOTBWF/muprl:

• danistefanovic/build-your-own-x github similar
• TOTBWF/muprl github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• mb64/xtt github similar
• conal/agda-cat-linear github similar
• metaborg/linear.agda github similar
• Eloston/ungoogled-chromium github similar
• fathyb/carbonyl github similar
• cozodb/cozo github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• Trebor-Huang/Down-The-Path github similar
• mortberg/yacctt github similar
• joom/proof-tree-builder github similar
• tsung-ju/SystemF github similar
• arthuraa/agda-hoas-demo github similar
• julianhyde/morel github similar
• jonsterling/agda-calf github similar
• mr-ohman/logrel-mltt github similar
• peterlefanulumsdaine/general-type-theories github similar
• Chaaaos/formaltt github similar
• vrahli/NuprlInCoq github similar
• Vierkantor/refinement-parsers github similar
• groupoid/anders github similar
• mb64/LC-interpreter github similar
• AliasQli/tactics github similar
• twanvl/ttie github similar
• pigworker/Totality github similar
• kcsmnt0/quotient github similar
• effectfully/OTT github similar
• RichardMoot/LinearOne github similar
• nachivpn/gluetn github similar
• gallais/typing-with-leftovers github similar
• LightAndLight/cbpv github similar
• LightAndLight/idris-but-its-c github similar
• lambdabetaeta/modal-logics github similar
• andrejbauer/clerical github similar