cuda

Creator

AdaCore

Related apps

ada_language_server

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

12 days ago

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Ada65other

12 days ago

gnatcoll-db

GNAT Components Collection – Database packages

C11other

15 days ago

gnatstudio

gnatstudio

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

Ada409

11 days ago

gtkada

Ada bindings for the GTK+ graphical library.

Ada88other

15 days ago

libadalang

libadalang

Ada semantic analysis library.

Ada146other

12 days ago

spark2014

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

Ada248gpl-3.0

12 days ago

win32ada

Ada API to the Windows library

Ada17other

15 days ago

xmlada

The XML/Ada toolkit.

Ada22other

15 days ago

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Ada14other

15 days ago

gnatcoll-core

GNAT Components Collection – Core packages

Ada45other

11 days ago

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Ada36

11 days ago