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