SoSy-Lab (@sosy-lab)
Guthub

sosy-lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,197
  • Global Org. Rank 13,621 (Top 5 %)
  • Registered almost 9 years ago
  • Most used languages
    Java
         42.9 %
    Python
         28.6 %
    OCaml
         14.3 %
    C
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 1,788
  • Country Ranking
    OCaml
         35
    C
         198
    Java
         267
    Python
         841

Top repositories

1

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs
C
320
star
2

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python
227
star
3

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Java
222
star
4

sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
184
star
5

java-smt

JavaSMT - Unified Java API for SMT solvers.
Java
178
star
6

sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Python
18
star
7

sv-comp

Information to reproduce results from SV-COMP (MOVED, please follow the link)
15
star
8

java-common-lib

SoSy-Lab Java Common Library
Java
12
star
9

tbf

A framework for using test case generators to locate errors in C programs
OCaml
9
star