Awesome Ada Runtimes

  • updated over 2 years ago GNU Affero Genera...
  • updated 6 months ago BSD 3-Clause "New...

    Ada WASM Runtime and Bindings for Web API

  • updated 3 months ago Other

    Source repository for the GNAT Bare Metal BSPs

  • updated 10 months ago GNU General Publi...

    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 (v1)

  • drake drake 38
    star
    updated over 4 years ago MIT License

    Drake: A Runtime Library for gcc-Ada