Popular repositories Loading

1. ada-howto ada-howto Public

   Collection of How-to documents for Ada

   Jupyter Notebook 35 1

2. protobuf protobuf Public

   The Google Protocol Buffers implementation in Ada

   Ada 33 5

3. matreshka_archive matreshka_archive Public archive

   Matreshka is Ada framework to develop information systems

   Ada 25 3

4. adalib adalib Public

   Standard Ada library specification as defined in Reference Manual

   Ada 20 3

5. esp32-gnat-rts esp32-gnat-rts Public

   Forked from simonjwright/FreeRTOS-Ada

   This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

   Ada 17 3

6. aarch64-alire-index aarch64-alire-index Public

   Alire port to aarch64

   13 1