# GitHub repos by RedPRL

<https://repo.masters-masters.com/en/owners/RedPRL>

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

All 3 public GitHub repos by RedPRL in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by RedPRL

3 public repos by RedPRL in the catalog, most starred first.

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

## See RedPRL on GitHub

- [https://github.com/RedPRL](https://github.com/RedPRL)

---
Data: GitHub