Similar repositories to siddhartha-gadgil/LogicTypesSpaces:
siddhartha-gadgil/LogicTypesSpaces
github
similar
UlfNorell/category-theory-experiments
github
similar
bobatkey/sorting-types
github
similar
RobertHarper/hott-notes
github
similar
pigworker/Totality
github
similar
emilaxelsson/imperative-edsl
github
similar
markokoleznik/agda-writer
github
similar
pigworker/CS410-15
github
similar
david-christiansen/IdrisAtGalois2015
github
similar
scmu/foundations-harper
github
similar
joelburget/pigment
github
similar
stepcut/idris-blink
github
similar
UlfNorell/agda-summer-school
github
similar
edwinb/EpiVM
github
similar
scmu/aopa
github
similar
jonleivent/mindless-coding
github
similar
jozefg/pcf
github
similar
BekaValentine/SimpleFP-v2
github
similar
namin/dot
github
similar
ekmett/hask
github
similar
siddhartha-gadgil/ProvingGround
github
similar
goldfirere/thesis
github
similar
ermine-language/ermine
github
similar
ziman/lightyear
github
similar
Andromedans/andromeda
github
similar
fpco/mezzohaskell
github
similar
liamoc/learn-you-an-agda
github
similar
typelevel/algebra
github
similar
sweirich/pi-forall
github
similar
michaelt/martin-lof
github
similar
jwiegley/category-theory
github
similar
IUCompilerCourse/Essentials-of-Compilation
github
similar
jozefg/learn-tt
github
similar
leanprover/lean
github
similar
uwu-tech/Kind
github
similar
sdiehl/write-you-a-haskell
github
similar
milessabin/shapeless
github
similar
idris-lang/Idris-dev
github
similar
typelevel/cats
github
similar
steshaw/plt
github
similar