# Dépôts de project-oak

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

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

Les 3 dépôts GitHub publics de project-oak, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de project-oak

3 dépôts publics de project-oak au catalogue, du plus étoilé au moins étoilé.

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

## Voir project-oak sur GitHub

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

---
Données : GitHub