GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Ada Web Application - Framework to build high performance secure web applications
A secure and high performances microkernel for building secure MCU-based IoTs
Ada interface to the readline library
Boehm GC interface library for gcc-Ada (GNAT)
This is an Ada 2012 package that provides an interface to BLAS.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
A pure Ada implementation of the SipHash PRF (mirror repository).