Similar repositories to phyver/chariot:

• phyver/chariot github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• mozilla/serviceworker-cookbook github similar
• juxt/crux github similar
• jonsterling/lecture-notes github similar
• amblafont/UniversalII github similar
• groupoid/anders github similar
• JLimperg/well-founded-corecursion github similar
• cj-xu/OrdinalNotations github similar
• nad/dependent-lenses github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• pigworker/Box github similar
• julianhyde/morel github similar
• DavidJaz/Cohesion github similar
• Deducteam/Agda2Dedukti github similar
• AndrasKovacs/qiit-generalizations github similar
• matijapretnar/aeff github similar
• gergoerdi/generic-syntax github similar
• jonsterling/agda-effectful-forcing github similar
• Saizan/parametric-demo github similar
• IanOrton/cubical-topos-experiments github similar
• L-TChen/FiniteSets github similar
• thibautbenjamin/catt github similar
• superhaNds/cwfs github similar
• andrejbauer/higher-rank-syntax github similar
• UlfNorell/agda-bench github similar
• ericfinster/opetopes-in-agda github similar
• andrejbauer/miniLCF github similar
• EduardoRFS/ocaml-jit-example github similar
• andrejbauer/clerical github similar
• mikeshulman/cohesivett github similar
• elpinal/modules-rs github similar
• rowandavies/sml-cidre github similar
• m-yac/tt-in-cagda github similar
• laMudri/generic-lr github similar
• L-TChen/ModalTypeTheory github similar
• jonsterling/coq-domains github similar
• agda/ooAgda github similar