# RedPRL/sml-redprl

<https://repo.masters-masters.com/en/repos/RedPRL/sml-redprl>

[Home](https://repo.masters-masters.com/en) › [RedPRL](https://repo.masters-masters.com/en/owners/RedPRL) › [sml-redprl](https://repo.masters-masters.com/en/repos/RedPRL/sml-redprl)

RedPRL/sml-redprl has 229 stars on GitHub. Its RepoMasters card: Prototype tier. The People's Refinement Logic Language: Standard ML.

| Field | Value |
| --- | --- |
| Owner | [RedPRL](https://repo.masters-masters.com/en/owners/RedPRL) |
| Stars | 229 |
| Forks | 18 |
| Language | [Standard ML](https://repo.masters-masters.com/en/languages/standard-ml) |
| License | MIT |
| Created | 2016 |
| Topics | nuprl, proof-assistant, type-theory, cubical-type-theory |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [RedPRL/sml-redprl](https://github.com/RedPRL/sml-redprl) |

## Repository

The People's Refinement Logic

Archived: this repository is read-only

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

## More repos by RedPRL

- [RedPRL/cooltt · ★ 251 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/RedPRL/cooltt)
- [RedPRL/redtt · ★ 224 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/RedPRL/redtt)

## Nearby in Standard ML

- [eudoxia0/interim · ★ 282 · Standard ML · Alpha](https://repo.masters-masters.com/en/repos/eudoxia0/interim)
- [smlnj/smlnj · ★ 256 · Standard ML · Alpha](https://repo.masters-masters.com/en/repos/smlnj/smlnj)
- [gamelinux/prads · ★ 249 · Standard ML · Prototype](https://repo.masters-masters.com/en/repos/gamelinux/prads)
- [melsman/apltail · ★ 220 · Standard ML · Prototype](https://repo.masters-masters.com/en/repos/melsman/apltail)
- [rootkovska/codehash.db · ★ 214 · Standard ML · Prototype](https://repo.masters-masters.com/en/repos/rootkovska/codehash.db)
- [Ravenbrook/mlworks · ★ 181 · Standard ML · Prototype](https://repo.masters-masters.com/en/repos/Ravenbrook/mlworks)

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