Similar repositories to jdolson/univalence-from-scratch:

• jdolson/univalence-from-scratch github similar
• ziman/idris-scheme github similar
• tootsuite/mastodon github similar
• andorp/ArchaIdr github similar
• bgavran/Idris_Category_Theory github similar
• LightAndLight/idris-lambda-reflection github similar
• camelpunch/roguedris github similar
• rbarreiro/ifui github similar
• jdevuyst/rekenaar github similar
• gallais/great-library-of-idris github similar
• asajeffrey/finite-dtypes github similar
• border-patrol/lightclick github similar
• MarcelineVQ/idris2-streaming github similar
• simongregersen/DepSec github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• Lapin0t/induction-recursion github similar
• danilkolikov/categories github similar
• RobertHarper/hott-notes github similar
• typedefs/purescript-typedefs-interop github similar
• jDomantas/idris-wasm github similar
• spicydonuts/react-basic-rock-paper-scissors github similar
• edwinb/Idris2-pkg-outline github similar
• danistefanovic/build-your-own-x github similar
• tiatomee/toml-idr github similar
• AHartNtkn/IotaTT github similar
• olivierverdier/GeometricAlgebra github similar
• AndrasKovacs/preordertt github similar
• Event-Structures/event-struct github similar
• uds-psl/autosubst-ocaml github similar
• spicydonuts/purescript-spectacle-presentation github similar
• lambdageek/emile github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• andrejtokarcik/agda-semantics github similar
• ancientlanguage/agda-grammar github similar
• discus-lang/salt-vscode github similar
• LightAndLight/como github similar
• hecrj/iced github similar
• plt-hokusai/ahc github similar