Pinned Repositories
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
gnat-llvm
LLVM based GNAT compiler
gnatcoll-core
GNAT Components Collection – Core packages
gnatcoverage
GNATcoverage: Coverage Analysis Tool
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
gtkada
Ada bindings for the GTK+ graphical library.
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
training_material
ArnaudCharlet's Repositories
ArnaudCharlet/training_material
ArnaudCharlet/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards