Similar repositories to nad/dependently-typed-syntax:

• nad/dependently-typed-syntax github similar
• danistefanovic/build-your-own-x github similar
• vikraman/generalised-species github similar
• jfdm/tears-in-the-rain github similar
• JacquesCarette/agda-algebras github similar
• rwe/actions-hlint-run github similar
• silvanshade/agda-nr-cats github similar
• andrejbauer/dependent-type-theory-syntax github similar
• wrengr/exact-combinatorics github similar
• punkdit/categories github similar
• nachivpn/expelim github similar
• andreasabel/universal-algebra github similar
• Zekt/Type-Embellishment github similar
• phadej/staged github similar
• jmchapman/restriction-categories github similar
• agda/package-index github similar
• augustss/orthotope github similar
• conal/agda-cat-linear github similar
• nachivpn/k github similar
• ualib/agda-algebras github similar
• andrejbauer/higher-rank-syntax github similar
• CatTheoryByExample/book github similar
• UlfNorell/quasi-quote github similar
• MaiaVictor/Elementary-Affine-Core-legacy github similar
• JoeyEremondi/lambda-pi-constraint github similar
• KestrelInstitute/Specware github similar
• lambdabetaeta/modal-logics github similar
• peterlefanulumsdaine/palmgren-archive github similar
• atapin/awesome-tagless-final github similar
• tsung-ju/SystemF github similar
• uwplse/synapse github similar
• JohnWCartmell/Theory github similar
• bobatkey/agda-metric-reals github similar
• agda/agda-spec github similar
• bgavran/Lens_Resources github similar
• AndrasKovacs/thesis github similar
• umazalakain/typing-linear-pi github similar
• DimaSamoz/agda-soas github similar
• sweirich/lennart-lambda github similar
• AndrasKovacs/polynomial-model github similar