AbsInt

Languages

4 total

Language	Repos	Stars	Global	Country	Locality
all	5	1,767	28,262	1,040	295
Coq	1	1,757	1	1	1
C++	2	8	97,845	3,951	1,391
Java	1	2	434,746	10,761	3,490
unknown	1	0	-	-	-

Repos

5 total

Repo	Language	Stars	Rank
CompCert	Coq	1,757	1
FirstAid	C++	8	124,754
app4mc-plugin	Java	2	514,100
qt6	C++	0	-
CompCert-AbsInt-Releases	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/AbsInt"><img alt="Check out AbsInt's profile on stardev.io" src="https://stardev.io/developers/AbsInt/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/AbsInt"><img alt="Check out AbsInt's profile on stardev.io" src="https://stardev.io/developers/AbsInt/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/AbsInt"><img alt="Check out AbsInt's profile on stardev.io" src="https://stardev.io/developers/AbsInt/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-08T09:25:39.042188600Z Re-sync