gravatar for AdaCore

AdaCore AdaCore on Github

global / france / paris

This record has been archived

Languages

11 total

LanguageReposStarsGlobalCountryLocality
all1012,791---
Ada642,307---
Python16178---
C6143---
unknown783---
OCaml227---
Java121---
Shell118---
Coq110---
Makefile13---
C++11---
SMT10---

Repos

101 total

RepoLanguageStarsRank
AdaCore/gnatstudio on GithubgnatstudioAda352-
AdaCore/spark2014 on Githubspark2014Ada218-
AdaCore/Ada_Drivers_Library on GithubAda_Drivers_LibraryAda218-
AdaCore/ada_language_server on Githubada_language_serverAda204-
AdaCore/gnat-llvm on Githubgnat-llvmAda159-
AdaCore/libadalang on GithublibadalangAda134-
AdaCore/aws on GithubawsAda116-
AdaCore/RecordFlux on GithubRecordFluxAda95-
AdaCore/gsh on GithubgshC94-
AdaCore/learn on GithublearnAda83-

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2023-11-16T08:03:42.298041617Z Re-sync