Similar repositories to jakebian/kan:

• jakebian/kan github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• dschepler/coq-zorns-lemma github similar
• smimram/strid github similar
• gendx/ocaml-algebra github similar
• FFaissole/Valuations github similar
• tuura/selective-theory-coq github similar
• aryx/xix github similar
• coq-community/topology github similar
• pkrumins/the-little-prover github similar
• CategoricalData/HoTT-categories github similar
• gerstner-hub/xwmfs github similar
• atom-ocaml/ocaml-merlin github similar
• olivierverdier/pydflatex github similar
• aryx/syncweb github similar
• markokoleznik/agda-writer github similar
• Drup/dowsing github similar
• bmsherman/topology github similar
• lindig/lipsum github similar
• subutai/nupic.subutai github similar
• awakesecurity/language-ninja github similar
• gallais/parseque github similar
• coq-community/hydra-battles github similar
• andrejbauer/dedekind-reals github similar
• pigworker/Samizdat github similar
• agda/agda-ocaml github similar
• alangpierce/TheProofIsTrivial github similar
• ncatlab/nlab github similar
• janestreet/incremental_kernel github similar
• DavidMichaelRoberts/AlgebraicTopology2019 github similar
• pedagand/typechecker-evolution github similar
• peterlefanulumsdaine/general-type-theories github similar
• wbhart/antic github similar
• TheoWinterhalter/formal-type-theory github similar
• ats-lang/ATS-CodeBook github similar
• bbidulock/adwm github similar
• GaloisInc/blt github similar