Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

26 days ago

Source repository for the GNAT Bare Metal BSPs

Ada65other

26 days ago

GNAT Components Collection – Database packages

C11other

30 days ago

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

Ada409

25 days ago

Ada bindings for the GTK+ graphical library.

Ada88other

30 days ago

Ada semantic analysis library.

Ada146other

26 days ago

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

Ada248gpl-3.0

26 days ago

Ada API to the Windows library

Ada17other

30 days ago

The XML/Ada toolkit.

Ada22other

30 days ago

GNAT Components Collection – Bindings to C libraries

Ada14other

30 days ago

GNAT Components Collection – Core packages

Ada45other

26 days ago

GNATcoverage: Coverage Analysis Tool

Ada36

25 days ago