Repos by sosy-lab

sosy-lab / repos

10 repos

«1»
RepoLanguageStarsRank
sosy-lab/cpachecker on GithubcpacheckerJava21213,201
sosy-lab/benchexec on GithubbenchexecPython19234,271
sosy-lab/sv-benchmarks on Githubsv-benchmarksunknown18816,153
sosy-lab/java-smt on Githubjava-smtJava17115,578
sosy-lab/cpu-energy-meter on Githubcpu-energy-meterC10913,493
sosy-lab/sv-witnesses on Githubsv-witnessesPython18226,075
sosy-lab/sv-comp on Githubsv-compunknown15112,289
sosy-lab/java-common-lib on Githubjava-common-libJava12110,989
sosy-lab/tbf on GithubtbfOCaml93,293
sosy-lab/license-research-evaluation on Githublicense-research-evaluationunknown0-