Similar repositories to vikraman/generalised-species:

• vikraman/generalised-species github similar
• jfdm/tears-in-the-rain github similar
• nad/dependently-typed-syntax github similar
• JacquesCarette/agda-algebras github similar
• silvanshade/agda-nr-cats github similar
• andrejbauer/dependent-type-theory-syntax github similar
• wrengr/exact-combinatorics github similar
• nachivpn/expelim github similar
• andreasabel/universal-algebra github similar
• Zekt/Type-Embellishment github similar
• punkdit/categories github similar
• jmchapman/restriction-categories github similar
• agda/package-index github similar
• augustss/orthotope github similar
• phadej/staged github similar
• conal/agda-cat-linear github similar
• nachivpn/k github similar
• andrejbauer/higher-rank-syntax github similar
• CatTheoryByExample/book github similar
• UlfNorell/quasi-quote github similar
• lambdabetaeta/modal-logics github similar
• peterlefanulumsdaine/palmgren-archive github similar
• atapin/awesome-tagless-final github similar
• ualib/agda-algebras github similar
• tsung-ju/SystemF github similar
• bobatkey/agda-metric-reals github similar
• bgavran/Lens_Resources github similar
• AndrasKovacs/thesis github similar
• sweirich/lennart-lambda github similar
• AndrasKovacs/polynomial-model github similar
• frex-project/agda-fragment github similar
• mietek/hilbert-gentzen github similar
• agda/agda-pkg github similar
• bolt12/tymfgg-pearl github similar
• barry-jay-personal/tree-calculus github similar
• bollu/discrete-differential-geometry github similar
• pigworker/ProgrammerCommaCon github similar
• alhassy/AgdaCheatSheet github similar
• JohnWCartmell/Theory github similar
• JacquesCarette/TheoriesAndDataStructures github similar