# Beluga-lang/Beluga

<https://repo.masters-masters.com/repos/Beluga-lang/Beluga>

[Accueil](https://repo.masters-masters.com/) › [Beluga-lang](https://repo.masters-masters.com/owners/Beluga-lang) › [Beluga](https://repo.masters-masters.com/repos/Beluga-lang/Beluga)

Beluga-lang/Beluga, dépôt open source à 215 étoiles sur GitHub. Carte Prototype de RepoMasters. Contextual types meet mechanized metatheory\! Langage : OCaml.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Beluga-lang](https://repo.masters-masters.com/owners/Beluga-lang) |
| Étoiles | 215 |
| Forks | 21 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | GPL-3.0 |
| Création | 2015 |
| Sujets | beluga, ocaml, dependent-types, hoas, lf |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Beluga-lang/Beluga](https://github.com/Beluga-lang/Beluga) |

## Fiche du dépôt

Contextual types meet mechanized metatheory\!

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts OCaml

- [bitblaze-fuzzball/fuzzball · ★ 216 · OCaml · Prototype](https://repo.masters-masters.com/repos/bitblaze-fuzzball/fuzzball)
- [technomancy/grenchman · ★ 215 · OCaml · Prototype](https://repo.masters-masters.com/repos/technomancy/grenchman)
- [jhjourdan/C11parser · ★ 215 · OCaml · Prototype](https://repo.masters-masters.com/repos/jhjourdan/C11parser)
- [Risto-Stevcev/bastet · ★ 214 · OCaml · Prototype](https://repo.masters-masters.com/repos/Risto-Stevcev/bastet)
- [mfp/extprot · ★ 212 · OCaml · Prototype](https://repo.masters-masters.com/repos/mfp/extprot)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.