Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
AdaCore
Star
2974
Rank
3671
Go to GitHub
Fetched on 2024/05/01 08:09
114 Repositories
gnatstudio
377
spark2014
237
Ada_Drivers_Library
232
ada_language_server
219
gnat-llvm
175
libadalang
143
aws
124
RecordFlux
100
gsh
98
learn
91
gtkada
84
langkit
76
gprbuild
63
svd2ada
61
bb-runtimes
61
ada-spark-rfcs
59
VSS
49
gnatcoll-core
43
gnatcoverage
33
Certyflie
31
ada-traits-containers
28
why3
27
e3-core
26
startup-gen
25
git-hooks
24
xmlada
21
PolyORB
21
OPAVES
21
Ada-IntelliJ
21
training_material
20
Ada-SPARK-Crate-Of-The-Year
19
gnat_community_install_script
18
cuda
17
win32ada
16
spawn
16
Robotics_with_Ada
16
libadalang-tools
16
gnat-gdb-scripts
16
embedded-runtimes
14
gpr
13
gnatcoll-bindings
13
adareducer
13
qemu
12
sparkformal
10
gnatcoll-db
10
UnityAdaTetris
9
markdown
8
labs-material
7
aunit
7
RC_Car_Demo
6
1
2
3
›