PrototypeCommune
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
- Propriétaire
- jrslepak (compte personnel)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 9
- Langage
- Racket
- Licence
- Aucune
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Racket
Tous les dépôts Racket- murisi/L2Étoiles : 138RacketPrototype
- hexlet-boilerplates/sicp-racketÉtoiles : 136RacketPrototype
- IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020Étoiles : 133RacketPrototype
- takikawa/racket-clojureÉtoiles : 125RacketPrototype
- DexterLagan/lshÉtoiles : 124RacketPrototype
- soegaard/sketchingÉtoiles : 120RacketPrototype