PrototypeCommon
Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
- Owner
- Beluga-lang (organization)
- Stars
- Stars: 215
- Forks
- Forks: 21
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2015
- Topics
- belugaocamldependent-typeshoaslf
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- bitblaze-fuzzball/fuzzballStars: 216OCamlPrototype
- technomancy/grenchmanStars: 215OCamlPrototype
- jhjourdan/C11parserStars: 215OCamlPrototype
- Risto-Stevcev/bastetStars: 214OCamlPrototype
- mfp/extprotStars: 212OCamlPrototype