Similar repositories to jmchapman/restriction-categories:

• jmchapman/restriction-categories github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• jonsterling/lecture-notes github similar
• mikeshulman/dirtt github similar
• nachivpn/expelim github similar
• zaklogician/agda-ist-algebra github similar
• RobertHarper/hott-notes github similar
• andreasabel/continuous-normalization github similar
• andrisaar/Type-Theory-Foundations github similar
• jespercockx/tensors github similar
• jmchapman/Relative-Monads github similar
• aquynh/capstone github similar
• larrytheliquid/mltt-lecture github similar
• pigworker/InteriorDesign github similar
• uds-psl/ill-undecidability github similar
• jashug/ConstructingII github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Vierkantor/refinement-parsers github similar
• silvanshade/agda-nr-cats github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• FranckS/RingIdris github similar
• agda/ooAgda github similar
• maxsnew/virtual-equipments github similar
• gallais/agdarky github similar
• roglo/coq_real github similar
• wrengr/exact-combinatorics github similar
• glittershark/categories github similar
• JakobeBussey/StoneSpaces1130 github similar
• clucas26e4/Proof-Theory-of-Riesz-Spaces-and-Modal-Riesz-Spaces github similar
• JacquesCarette/RetrodictiveComputing github similar
• AndrasKovacs/preordertt github similar
• danelahman/Directed-Containers github similar
• david-christiansen/idris-tf-random github similar
• UniMath/largecatmodules github similar
• gallais/metamorphismsinagda github similar
• tetrapharmakon/isbell-frames github similar