Popular repositories Loading

1. lace-prototype-deprecated lace-prototype-deprecated Public

   A set of Ada components to allow 3D simulations, games and GUI's in Ada.

   Ada 13

2. aShell aShell Public

   A component to aid in writing shell-like applications in Ada.

   Ada 13 1

3. swig4ada swig4ada Public

   Provides a SWIG module to generate Ada bindings.

   C++ 10

4. laceOS laceOS Public

   An Archlinux operating system tailored for developing software in the Ada and SPARK languages.

   HTML 9 1

5. lace lace Public

   A set of Ada components to allow 3D simulations, games and GUI's in Ada.

   Ada 7 1

6. cBound cBound Public

   Provides thin Ada bindings (built via Swig) to a collection of C/C++ libraries.

   Ada 5