# CakeML/cakeml

<https://repo.masters-masters.com/en/repos/CakeML/cakeml>

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

CakeML/cakeml has 1,220 stars on GitHub. Its RepoMasters card: Beta tier. CakeML: A Verified Implementation of ML Language: Standard ML.

| Field | Value |
| --- | --- |
| Owner | [CakeML](https://repo.masters-masters.com/en/owners/CakeML) |
| Stars | 1,220 |
| Forks | 111 |
| Language | [Standard ML](https://repo.masters-masters.com/en/languages/standard-ml) |
| License | BSD-3-Clause |
| Created | 2012 |
| Topics | programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol, sml |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [CakeML/cakeml](https://github.com/CakeML/cakeml) |

## Repository

CakeML: A Verified Implementation of ML

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Standard ML

- [GoldenCheetah/GoldenCheetah · ★ 2,251 · Standard ML · RC](https://repo.masters-masters.com/en/repos/GoldenCheetah/GoldenCheetah)
- [MLton/mlton · ★ 1,098 · Standard ML · Beta](https://repo.masters-masters.com/en/repos/MLton/mlton)
- [AuditProject/truecrypt-verified-mirror · ★ 871 · Standard ML · Beta](https://repo.masters-masters.com/en/repos/AuditProject/truecrypt-verified-mirror)
- [urweb/urweb · ★ 852 · Standard ML · Beta](https://repo.masters-masters.com/en/repos/urweb/urweb)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.