Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

12 days ago

Source repository for the GNAT Bare Metal BSPs

Ada65other

12 days ago

GNAT Components Collection – Database packages

C11other

15 days ago

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada409

11 days ago

Ada bindings for the GTK+ graphical library.

Ada88other

15 days ago

Ada semantic analysis library.

Ada146other

12 days ago

SPARK 2014 is the new version of SPARK, a software development technology specif

Ada248gpl-3.0

12 days ago

Ada API to the Windows library

Ada17other

15 days ago

The XML/Ada toolkit.

Ada22other

15 days ago

GNAT Components Collection – Bindings to C libraries

Ada14other

15 days ago

GNAT Components Collection – Core packages

Ada45other

11 days ago

GNATcoverage: Coverage Analysis Tool

Ada36

11 days ago