TopGit
GITHUB ORGANIZATION

sosy-lab — GitHub organization

sosy-lab has 1.4k stars across their public GitHub repositories, ranking #8295 globally among GitHub organizations.

Global rank#8295
Total stars1.4k
Public repositories20
View on GitHub ↗

Top repositories

cpu-energy-meter★ 345benchexec★ 290cpachecker★ 262java-smt★ 242sv-benchmarks★ 192sv-witnesses★ 18java-common-lib★ 17sv-comp★ 15llvm-j★ 10tbf★ 9

How many GitHub stars does sosy-lab have?

sosy-lab has 1.4k stars across their public repositories, ranking #8295 globally.

What is sosy-lab's most-starred repository?

Their most-starred public repository is cpu-energy-meter, with 345 stars.

Is sosy-lab an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking