PrototypeCommune
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
- Propriétaire
- ilya-klyuchnikov (compte personnel)
- Étoiles
- Étoiles : 125
- Forks
- Forks : 9
- Langage
- Scala
- Licence
- Aucune
- Création
- 2013
- Sujets
- supercompilationprogramming-languagedependent-typestype-theoryagdaidriscoq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ilya-klyuchnikov
Les 3 dépôts de ilya-klyuchnikov- ilya-klyuchnikov/tapl-scalaÉtoiles : 189ScalaPrototype
- ilya-klyuchnikov/lambdapiÉtoiles : 118HaskellPrototype
D’autres dépôts Scala
Tous les dépôts Scala- zio/zio-telemetryÉtoiles : 125ScalaPrototype
- Kirill5k/mongo4catsÉtoiles : 125ScalaPrototype
- ovh/sv2chiselÉtoiles : 125ScalaPrototype
- ciren/cilibÉtoiles : 125ScalaPrototype
- teamon/play-navigatorÉtoiles : 125ScalaPrototype
- nafg/slick-migration-apiÉtoiles : 125ScalaPrototype