Skip to content

Commit

Permalink
Added Adamant
Browse files Browse the repository at this point in the history
  • Loading branch information
mgrojo committed Nov 25, 2023
1 parent d36fb55 commit 2602c1a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Expand Up @@ -636,6 +636,7 @@ language. It is loosely modelled after JUnit and some ideas from AUnit.
### Frameworks
- [SweetAda](https://github.com/gabriele-galeotti/SweetAda) - A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.
- [robotics-with-ada](https://github.com/AdaCore/Robotics_with_Ada) - Robotics with Ada, ARM, and Lego.
- [adamant](https://github.com/lasp/adamant) - A component-based, model-driven framework for constructing reliable and reusable real-time software.

### Firmwares
- [certiflie](https://github.com/AdaCore/Certyflie) - Source code for the full Ada + SPARK Crazyflie 2.0 firmware.
Expand Down

0 comments on commit 2602c1a

Please sign in to comment.