Similar repositories to kerodon/kerodon-website:
kerodon/kerodon-website
github
similar
gibiansky/IHaskell
github
similar
pigworker/Ship
github
similar
cangiuli/cmu-thesis-memoir
github
similar
paolobrasolin/jekyll-sheafy
github
similar
RedPRL/sml-lcf
github
similar
agda/guarded
github
similar
paolobrasolin/antex
github
similar
jonsterling/problemes-dans-les-topos
github
similar
mortberg/TypeTheory
github
similar
gebner/lean4
github
similar
clayrat/blott-experiments
github
similar
MatthewFluet/smelt
github
similar
paolobrasolin/jekyll-agda
github
similar
david-christiansen/jonprl-mode
github
similar
nbenton/coqdomains
github
similar
AndrasKovacs/qiit-generalizations
github
similar
kckennylau/mathlib4
github
similar
arthuraa/beaq
github
similar
paolobrasolin/krater
github
similar
jonsterling/latex-dieudonne
github
similar
plt-amy/agda-search
github
similar
adrieng/pulsar
github
similar
mikeshulman/cohesivett
github
similar
JorisCeulemans/sikkel
github
similar
JohnReppy/compiling-pattern-guards
github
similar
azdavis/millet
github
similar
msullivan/typecoin
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
paolobrasolin/commutative-diagrams
github
similar
AndrasKovacs/universes
github
similar
robsimmons/abbot
github
similar
thsutton/cha
github
similar
gerby-project/gerby-website
github
similar
andreasabel/helf
github
similar
RobertHarper/hott-notes
github
similar
RobertHarper/hott-materials
github
similar
agda/agda-spec
github
similar
artagnon/bonak
github
similar
TOTBWF/teenytt
github
similar