# GitHub repos by sosy-lab

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

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

All 5 public GitHub repos by sosy-lab in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by sosy-lab

5 public repos by sosy-lab in the catalog, most starred first.

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

## See sosy-lab on GitHub

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

---
Data: GitHub