PrototypeCommune
Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
- Propriétaire
- Beluga-lang (organisation)
- Étoiles
- Étoiles : 214
- Forks
- Forks : 21
- Langage
- OCaml
- Licence
- GPL-3.0
- Création
- 2015
- Sujets
- belugaocamldependent-typeshoaslf
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- technomancy/grenchmanÉtoiles : 215OCamlPrototype
- jhjourdan/C11parserÉtoiles : 215OCamlPrototype
- Risto-Stevcev/bastetÉtoiles : 214OCamlPrototype
- mfp/extprotÉtoiles : 212OCamlPrototype
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- PLSysSec/FaCTÉtoiles : 210OCamlPrototype