cuda

Creator

AdaCore

Related apps

ada_language_server

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

26 days ago

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Ada65other

26 days ago

gnatcoll-db

GNAT Components Collection – Database packages

C11other

30 days ago

gnatstudio

gnatstudio

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

Ada409

25 days ago

gtkada

Ada bindings for the GTK+ graphical library.

Ada88other

30 days ago

libadalang

libadalang

Ada semantic analysis library.

Ada146other

26 days ago

spark2014

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

Ada248gpl-3.0

26 days ago

win32ada

Ada API to the Windows library

Ada17other

30 days ago

xmlada

The XML/Ada toolkit.

Ada22other

30 days ago

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Ada14other

30 days ago

gnatcoll-core

GNAT Components Collection – Core packages

Ada45other

26 days ago

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Ada36

25 days ago