# Beluga-lang/Beluga

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

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

Beluga-lang/Beluga has 215 stars on GitHub. Its RepoMasters card: Prototype tier. Contextual types meet mechanized metatheory\! Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [Beluga-lang](https://repo.masters-masters.com/en/owners/Beluga-lang) |
| Stars | 215 |
| Forks | 21 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | GPL-3.0 |
| Created | 2015 |
| Topics | beluga, ocaml, dependent-types, hoas, lf |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Beluga-lang/Beluga](https://github.com/Beluga-lang/Beluga) |

## Repository

Contextual types meet mechanized metatheory\!

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in OCaml

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.