AdaCore

Languages

10 total

Language	Repos	Stars	Global	Country	Locality
all	103	2,969	17,469	372	153
Ada	65	2,470	1	1	1
Python	17	186	31,507	637	252
C	6	148	9,598	210	68
unknown	8	87	26,829	410	146
OCaml	2	28	888	82	41
Java	1	21	58,739	1,074	321
Shell	1	18	30,785	854	249
Coq	1	10	335	25	8
C++	1	1	493,293	7,682	1,957
SMT	1	0	-	-	-

Repos

103 total

Repo	Language	Stars	Rank
gnatstudio	Ada	377	1
spark2014	Ada	237	8
Ada_Drivers_Library	Ada	232	9
ada_language_server	Ada	219	10
gnat-llvm	Ada	175	11
libadalang	Ada	143	13
aws	Ada	124	14
RecordFlux	Ada	100	20
gsh	C	98	14,615
learn	Ada	91	21

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/AdaCore"><img alt="Check out AdaCore's profile on stardev.io" src="https://stardev.io/developers/AdaCore/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/AdaCore"><img alt="Check out AdaCore's profile on stardev.io" src="https://stardev.io/developers/AdaCore/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/AdaCore"><img alt="Check out AdaCore's profile on stardev.io" src="https://stardev.io/developers/AdaCore/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-05-01T12:31:12.452106126Z Re-sync