PrototypeCommon
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
- Owner
- jrslepak (personal account)
- Stars
- Stars: 128
- Forks
- Forks: 9
- Language
- Racket
- License
- None
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Racket
All Racket repos- murisi/L2Stars: 138RacketPrototype
- hexlet-boilerplates/sicp-racketStars: 136RacketPrototype
- IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020Stars: 133RacketPrototype
- takikawa/racket-clojureStars: 125RacketPrototype
- DexterLagan/lshStars: 124RacketPrototype
- soegaard/sketchingStars: 120RacketPrototype