# Dépôts de sosy-lab

<https://repo.masters-masters.com/owners/sosy-lab>

[Accueil](https://repo.masters-masters.com/) › [sosy-lab](https://repo.masters-masters.com/owners/sosy-lab)

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

## Dépôts de sosy-lab

5 dépôts publics de sosy-lab au catalogue, du plus étoilé au moins étoilé.

- [sosy-lab/cpu-energy-meter · ★ 348 · C · Alpha](https://repo.masters-masters.com/repos/sosy-lab/cpu-energy-meter)
- [sosy-lab/benchexec · ★ 295 · Python · Alpha](https://repo.masters-masters.com/repos/sosy-lab/benchexec)
- [sosy-lab/cpachecker · ★ 269 · Java · Alpha](https://repo.masters-masters.com/repos/sosy-lab/cpachecker)
- [sosy-lab/java-smt · ★ 245 · SMT · Prototype](https://repo.masters-masters.com/repos/sosy-lab/java-smt)
- [sosy-lab/sv-benchmarks · ★ 192 · Prototype](https://repo.masters-masters.com/repos/sosy-lab/sv-benchmarks)

## Voir sosy-lab sur GitHub

- [https://github.com/sosy-lab](https://github.com/sosy-lab)

---
Données : GitHub