Popular repositories Loading

1. Byron Byron Public

   The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

   Ada 67 2

2. Ada_Tutorial Ada_Tutorial Public

   Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.

   Ada 25 5

3. Forth Forth Public

   A Forth interpreter written in Ada.

   Ada 10 2

4. AdaProjectManager AdaProjectManager Public

   The definition of a language and file format to organize and aid building Ada programs.

   Ada 10

5. ASN.1 ASN.1 Public

   This aims to be a SPARK-verified, DSA-compatible implementation of the ASN.1 specification

   Ada 7 1

6. EVIL EVIL Public

   Everyone’s Verified & Independent Library.

   Ada 7