Popular repositories Loading

1. protobuf protobuf Public

   The Google Protocol Buffers implementation in Ada

   Ada 39 5

2. ada-howto ada-howto Public

   Collection of How-to documents for Ada

   Jupyter Notebook 36 1

3. matreshka_archive matreshka_archive Public archive

   Matreshka is Ada framework to develop information systems

   Ada 26 3

4. adalib adalib Public

   Standard Ada library specification as defined in Reference Manual

   Ada 23 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 18 3

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

   Alire port to aarch64

   14 1