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