Similar repositories to laMudri/quantitative:

• laMudri/quantitative github similar
• mikeshulman/ohtt github similar
• AndrasKovacs/preordertt github similar
• jonsterling/coq-sgdt github similar
• andrejtokarcik/agda-semantics github similar
• jonsterling/lecture-notes github similar
• yforster/coq-synthetic-computability github similar
• lambdabetaeta/modal-logics github similar
• LightAndLight/idris-lambda-reflection github similar
• ysharoda/Deriving-Definitions github similar
• jonsterling/agda-stc github similar
• groupoid/anders github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• omega12345/RefactorAgda github similar
• fsestini/tt-in-cubical github similar
• ayberkt/simplc github similar
• laMudri/generic-lr github similar
• effectfully/proto-tt github similar
• jespercockx/tensors github similar
• umazalakain/fyp github similar
• m-yac/tt-in-cagda github similar
• superhaNds/cwfs github similar
• aatxe/diet-coke github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• pigworker/InteriorDesign github similar
• UlrikBuchholtz/nominal-hott github similar
• Vierkantor/refinement-parsers github similar
• lukaszcz/infinitary-confluence github similar
• spicydonuts/purescript-spectacle-presentation github similar
• gelisam/worldly github similar
• gallais/agdarky github similar
• lambdageek/emile github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• ancientlanguage/agda-grammar github similar
• discus-lang/salt-vscode github similar
• LightAndLight/como github similar
• liamoc/dddp github similar