Similar repositories to sergei-romanenko/agda-Ramsey-theorem:
sergei-romanenko/agda-Ramsey-theorem
github
similar
dkrustev/MRScpOptSize
github
similar
ilya-klyuchnikov/sll-meta-haskell
github
similar
GavinMendelGleason/Cocktail
github
similar
t0yv0/haskell-earley
github
similar
sergei-romanenko/staged-mrsc-agda
github
similar
poitin/Distiller
github
similar
wenkokke/msla2014
github
similar
pigworker/EGTBS
github
similar
sergei-romanenko/agda-simple-scp
github
similar
jsiek/gradual-typing-in-agda
github
similar
mmcqd/datatt
github
similar
sweirich/lambda-n-ways
github
similar
jyp/nano-Agda
github
similar
lexi-lambda/higher-rank
github
similar
ilya-klyuchnikov/ttlite
github
similar
ranjitjhala/sprite-lang
github
similar
david-christiansen/pie-hs
github
similar
Andromedans/andromeda
github
similar
EgbertRijke/HoTT-Intro
github
similar
AndrasKovacs/elaboration-zoo
github
similar
AndrasKovacs/smalltt
github
similar
edwinb/Blodwen
github
similar
the-little-typer/pie
github
similar
michaelt/martin-lof
github
similar
ollef/sixten
github
similar
edwinb/Idris2-boot
github
similar
morganstanley/hobbes
github
similar
tomprimozic/type-systems
github
similar
dafny-lang/dafny
github
similar
idris-lang/Idris2
github
similar
leanprover/lean
github
similar
FStarLang/FStar
github
similar
koka-lang/koka
github
similar
idris-lang/Idris-dev
github
similar
microsoft/BosqueLanguage
github
similar
github/semantic
github
similar
dotnet/corefx
github
similar
facebook/flow
github
similar