# kit-ty-kate/labrys

<https://repo.masters-masters.com/en/repos/kit-ty-kate/labrys>

[Home](https://repo.masters-masters.com/en) › [kit-ty-kate](https://repo.masters-masters.com/en/owners/kit-ty-kate) › [labrys](https://repo.masters-masters.com/en/repos/kit-ty-kate/labrys)

kit-ty-kate/labrys has 114 stars on GitHub. Its RepoMasters card: Prototype tier. A toy language based on LLVM that implements the System Fω type-system

| Field | Value |
| --- | --- |
| Owner | [kit-ty-kate](https://repo.masters-masters.com/en/owners/kit-ty-kate) |
| Stars | 114 |
| Forks | 3 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | MIT |
| Created | 2013 |
| Topics | llvm, ocaml, programming-language, compiler, language, type-system |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [kit-ty-kate/labrys](https://github.com/kit-ty-kate/labrys) |

## Repository

A toy language based on LLVM that implements the System Fω type-system

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

## Nearby in OCaml

- [kerneis/cpc · ★ 114 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/kerneis/cpc)
- [zkat/maybe-hugs · ★ 114 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/zkat/maybe-hugs)
- [tezos/tezos-mirror · ★ 114 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/tezos/tezos-mirror)
- [lpw25/girards-paradox · ★ 113 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/lpw25/girards-paradox)

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