Similar repositories to algebraic-graphs/agda:

• algebraic-graphs/agda github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• ReactTraining/react-router github similar
• gallais/agdarsec github similar
• oisdk/agda-ring-solver github similar
• AndrasKovacs/system-f-omega github similar
• UlfNorell/x86-agda github similar
• Eloston/ungoogled-chromium github similar
• shaunlebron/parinfer github similar
• fredefox/cat github similar
• martinescardo/TypeTopology github similar
• metaborg/linear.agda github similar
• LightAndLight/cbpv github similar
• sstucki/system-f-agda github similar
• Saizan/cubical-demo github similar
• anuyts/agda-sessions github similar
• maybevoid/casimir github similar
• mvr/at github similar
• basvandijk/scientific github similar
• UlfNorell/agda-prelude github similar
• Eugeny/terminus github similar
• meilisearch/MeiliSearch github similar
• gallais/generic-syntax github similar
• snowleopard/alga-paper github similar
• anuyts/menkar github similar
• discus-lang/salt github similar
• MatthewDaggitt/agda-routing github similar
• LightAndLight/parametricity-proofs github similar
• sweirich/tal github similar
• pcapriotti/agda-base github similar
• JacquesCarette/TheoriesAndDataStructures github similar
• effectfully/OTT github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• lambdabetaeta/modal-logics github similar
• groupoid/anders github similar