olivier henley's repositories
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
parasail-vscode
ParaSail language support for VS Code
aicwl
Dmitry A. Kazakov's Ada Industrial Control Widget Library
GPL-2.0000
alire-index
Community index for the Alire project
GPL-3.0000
Language:Ada000
embedded-components
Platform agnostic drivers to interface external components
BSD-3-Clause000
hardcaml
Hardcaml is an OCaml library for designing hardware.
MIT000
midero
Robotic open source project. midero stands for Mine Detector Robot. We use Ada programming language to implement software architecture for the so called midero bot.
Language:AdaGPL-3.0000