PrototypeCommon
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
- Owner
- ilya-klyuchnikov (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 9
- Language
- Scala
- License
- None
- Created
- 2013
- Topics
- supercompilationprogramming-languagedependent-typestype-theoryagdaidriscoq
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ilya-klyuchnikov
All 3 repos by ilya-klyuchnikov- ilya-klyuchnikov/tapl-scalaStars: 189ScalaPrototype
- ilya-klyuchnikov/lambdapiStars: 118HaskellPrototype
Nearby in Scala
All Scala repos- zio/zio-telemetryStars: 125ScalaPrototype
- Kirill5k/mongo4catsStars: 125ScalaPrototype
- ovh/sv2chiselStars: 125ScalaPrototype
- ciren/cilibStars: 125ScalaPrototype
- teamon/play-navigatorStars: 125ScalaPrototype
- nafg/slick-migration-apiStars: 125ScalaPrototype