Similar repositories to andrejbauer/the-daily-algebra:

• andrejbauer/the-daily-algebra github similar
• gibiansky/IHaskell github similar
• juxt/crux github similar
• AndrasKovacs/primdata github similar
• AndrasKovacs/dynamic-array github similar
• phadej/lennart-lambda github similar
• konn/realisability github similar
• TOTBWF/agda-groups github similar
• jonsterling/mathematical-notebook github similar
• ayberkt/agda-github-action github similar
• arend-lang/arend-contrib github similar
• andrejbauer/mathematical-stories github similar
• kckennylau/mathlib4 github similar
• HarrisonGrodin/agda-modtt github similar
• atennapel/qtt-ts github similar
• ericfinster/opetopic-types github similar
• limemloh/cubical-congruence github similar
• nachivpn/k github similar
• TOTBWF/agda-sgd github similar
• Trebor-Huang/Down-The-Path github similar
• andrejbauer/higher-rank-syntax github similar
• edwinb/idris2-clibs github similar
• minad/persist github similar
• ekmett/parsnip github similar
• AndrasKovacs/thesis github similar
• ice1000/arend-io github similar
• jonsterling/coq-domains github similar
• RedPRL/stagedtt github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• ralsei/six-eyes github similar
• AndrasKovacs/stlc-nbe github similar
• andrejbauer/clerical github similar
• Chaaaos/formaltt github similar
• atennapel/tinka-hs github similar
• ayberkt/sequents github similar
• liquid-rust/flux github similar
• elevate-lang/elevate github similar
• ekmett/hkd github similar
• tree-sitter/tree-sitter-agda github similar