# FStarLang/karamel

<https://repo.masters-masters.com/en/repos/FStarLang/karamel>

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

FStarLang/karamel has 524 stars on GitHub. Its RepoMasters card: Alpha tier. KaRaMeL is a tool for extracting low-level F\* programs to readable C code

| Field | Value |
| --- | --- |
| Owner | [FStarLang](https://repo.masters-masters.com/en/owners/FStarLang) |
| Stars | 524 |
| Forks | 74 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | Apache-2.0 |
| Created | 2016 |
| Topics | verification, proofs, cryptography, c-language, f-star |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [FStarLang/karamel](https://github.com/FStarLang/karamel) |

## Repository

KaRaMeL is a tool for extracting low-level F\* programs to readable C code

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by FStarLang

- [FStarLang/FStar · ★ 3,133 · F\* · RC](https://repo.masters-masters.com/en/repos/FStarLang/FStar)

## Nearby in OCaml

- [inhabitedtype/httpaf · ★ 538 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/inhabitedtype/httpaf)
- [esumii/min-caml · ★ 532 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/esumii/min-caml)
- [ocaml-batteries-team/batteries-included · ★ 524 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/ocaml-batteries-team/batteries-included)
- [c-cube/ocaml-containers · ★ 522 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/c-cube/ocaml-containers)
- [ocaml-ppx/ppx\_deriving · ★ 521 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/ocaml-ppx/ppx_deriving)
- [rrdelaney/ReasonablyTyped · ★ 517 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/rrdelaney/ReasonablyTyped)

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