130 Repositories
gnatstudio
496
spark2014
295
ada_language_server
288
Ada_Drivers_Library
276
gnat-llvm
223
libadalang
164
aws
152
RecordFlux
122
gsh
118
learn
111
gtkada
103
langkit
90
gprbuild
79
svd2ada
70
bb-runtimes
69
ada-spark-rfcs
69
VSS
60
gnatcoll-core
52
gnatcoverage
46
why3
35
Certyflie
35
ada-traits-containers
34
startup-gen
33
training_material
32
e3-core
32
xmlada
29
git-hooks
25
PolyORB
23
win32ada
22
OPAVES
22
Ada-SPARK-Crate-Of-The-Year
22
Ada-IntelliJ
22
libadalang-tools
21
cuda
21
gpr
20
spawn
18
gnat_community_install_script
18
gnat-gdb-scripts
18
Robotics_with_Ada
17
gnatcoll-bindings
16
embedded-runtimes
15
qemu
14
gnatcoll-db
14
adareducer
14
gnatformat
13
sparkformal
12
markdown
11
aunit
11
templates-parser
10
UnityAdaTetris
9