PrototypeCommon
kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
- Owner
- kit-ty-kate (personal account)
- Stars
- Stars: 114
- Forks
- Forks: 3
- Language
- OCaml
- License
- MIT
- Created
- 2013
- Topics
- llvmocamlprogramming-languagecompilerlanguagetype-system
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- kerneis/cpcStars: 114OCamlPrototype
- zkat/maybe-hugsStars: 114OCamlPrototype
- tezos/tezos-mirrorStars: 114OCamlPrototype
- lpw25/girards-paradoxStars: 113OCamlPrototype