116 Repositories
gnatstudio
435
spark2014
265
Ada_Drivers_Library
257
ada_language_server
253
gnat-llvm
192
libadalang
151
aws
137
RecordFlux
112
gsh
110
learn
96
gtkada
94
langkit
80
gprbuild
69
bb-runtimes
68
svd2ada
66
ada-spark-rfcs
64
VSS
54
gnatcoll-core
48
gnatcoverage
41
Certyflie
34
ada-traits-containers
31
why3
29
startup-gen
29
e3-core
29
git-hooks
25
xmlada
24
training_material
23
Ada-IntelliJ
22
PolyORB
21
OPAVES
21
cuda
20
Ada-SPARK-Crate-Of-The-Year
20
win32ada
18
gpr
18
gnat_community_install_script
18
gnat-gdb-scripts
18
spawn
17
Robotics_with_Ada
17
libadalang-tools
16
embedded-runtimes
15
gnatcoll-bindings
14
adareducer
13
qemu
12
gnatcoll-db
12
sparkformal
11
UnityAdaTetris
10
aunit
10
markdown
9
templates-parser
8
RESSAC_Use_Case
7