# GitHub repos by project-oak

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

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

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

## GitHub repos by project-oak

3 public repos by project-oak in the catalog, most starred first.

- [project-oak/oak · ★ 1,514 · Rust · Beta](https://repo.masters-masters.com/en/repos/project-oak/oak)
- [project-oak/rust-verification-tools · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/en/repos/project-oak/rust-verification-tools)
- [project-oak/silveroak · ★ 133 · Coq · Prototype](https://repo.masters-masters.com/en/repos/project-oak/silveroak)

## See project-oak on GitHub

- [https://github.com/project-oak](https://github.com/project-oak)

---
Data: GitHub