sosy-lab

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	10	921	50,038	1,902	168
Java	3	394	6,894	276	22
Python	2	207	28,782	996	107
unknown	3	202	14,228	393	32
C	1	109	11,825	458	32
OCaml	1	9	1,627	34	6

Repos

10 total

Repo	Language	Stars	Rank
cpachecker	Java	211	13,235
benchexec	Python	189	34,520
sv-benchmarks	unknown	188	16,078
java-smt	Java	171	15,561
cpu-energy-meter	C	109	13,445
sv-witnesses	Python	18	224,568
sv-comp	unknown	14	117,525
java-common-lib	Java	12	110,746
tbf	OCaml	9	3,278
license-research-evaluation	unknown	0	-

Badges

Get your badge to use on GitHub or websites using the code below

Global Country Locality

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/sosy-lab"><img alt="Check out sosy-lab's profile on stardev.io" src="https://stardev.io/developers/sosy-lab/badge/languages/global.svg" /></a>

Preview

Country

Displays country rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/sosy-lab"><img alt="Check out sosy-lab's profile on stardev.io" src="https://stardev.io/developers/sosy-lab/badge/languages/country.svg" /></a>

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/sosy-lab"><img alt="Check out sosy-lab's profile on stardev.io" src="https://stardev.io/developers/sosy-lab/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-26T06:19:37.017225034Z Re-sync