Ada source code and complete sample GNAT projects for selected bare-board platfo

Ada219bsd-3-clause

6 months ago

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada205gpl-3.0

5 months ago

Ada6other

5 months ago

Source repository for the GNAT Bare Metal BSPs

Ada56other

5 months ago

Ada30gpl-3.0

6 years ago

Ada17

6 months ago

GNAT Components Collection – Database packages

C10other

5 months ago

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

Ada356

5 months ago

A POSIX shell for Windows.

C95

9 months ago

Ada bindings for the GTK+ graphical library.

Ada80other

5 months ago

Ada semantic analysis library.

Ada134other

5 months ago

Demonstration program that interacts with the AdaFruit BNO055 breakout board in

Ada2gpl-3.0

4 years ago

Formal specification and generation of verifiable binary parsers, message genera

Ada95agpl-3.0

5 months ago

adabinary-parsercommunication-protocol

Robotics with Ada, ARM, and Lego

Ada15gpl-3.0

4 years ago

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

Ada217gpl-3.0

6 months ago

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada58gpl-3.0

last year

Ada API to the Windows library

Ada15

last year

Ada Windows POSIX binding

Ada4other

8 months ago

The XML/Ada toolkit.

Ada20other

5 months ago