PrototypeCommon
jozefg/blott
An experimental type checker for a modal dependent type theory.
- Owner
- jozefg (personal account)
- Stars
- Stars: 123
- Forks
- Forks: 1
- Language
- OCaml
- License
- MIT
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jozefg
All 5 repos by jozefg- jozefg/learn-ttStars: 2,510RC
- jozefg/higher-order-unificationStars: 198HaskellPrototype
- jozefg/nbe-for-mlttStars: 138OCamlPrototype
- jozefg/pcfStars: 126HaskellPrototype
Nearby in OCaml
All OCaml repos- biocaml/biocamlStars: 123OCamlPrototype
- abbysmal/CanopyStars: 123OCamlPrototype
- chenglou/cardsStars: 123OCamlPrototype
- yoriyuki/CamomileStars: 122OCamlPrototype