Similar repositories to useronym/masters:

• osense/masters github similar
• JasonGross/slow-coq-examples github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• 71/cranelift-vscode github similar
• michaelsproul/dblib-linear github similar
• DreamLinuxer/FracAncilla github similar
• ysharoda/Deriving-Definitions github similar
• andreasabel/sized-types github similar
• groupoid/anders github similar
• meta-logic/sml-to-coq github similar
• useronym/masters github similar
• ggreif/seminar-opetope github similar
• omega12345/RefactorAgda github similar
• effectfully/proto-tt github similar
• Lapin0t/induction-recursion github similar
• ollef/region github similar
• roglo/coq_real github similar
• FreeProving/free-proving-code github similar
• CoqHott/coq-forcing github similar
• hmac/kite github similar
• RobertHarper/hott-notes github similar
• jcreedcmu/lambda-maps github similar
• DmxLarchey/ite-normalisation github similar
• AndrasKovacs/preordertt github similar
• AndrasKovacs/qiit-generalizations github similar
• TOTBWF/agda-sgd github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• lpw25/shifted-names github similar
• andorp/IdrisExtSTGCodegen github similar
• hablapps/LensAlgebra github similar
• Saizan/parametric-demo github similar
• laMudri/quantitative github similar
• fsestini/tt-in-cubical github similar
• ayberkt/simplc github similar
• vikraman/2DTypes github similar
• bobatkey/system-f-parametricity-model github similar
• cverified/cbench github similar
• tlringer/thesis github similar
• pigworker/potato github similar
• gallais/agdarky github similar