solenoid-engine-controller

github.comtool

Software controller for solenoid engines (Ada/STM32F4).

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   robotics-with-ada github.com

   Robotics with Ada, ARM, and Lego.

   tool link ↗
   
2. ▲

   ada-drivers-library github.com

   Ada drivers for various MCU and sensors.

   tool link ↗
   tool
3. ▲

   libsodium-ada github.com

   A secure cryptographic library (libsodium for Ada).

   tool link ↗
   
4. ▲

   acnc github.com

   A G-code parser and CNC controller (in Ada).

   tool link ↗
   
5. ▲

   ada-lua github.com

   Ada binding for Lua.

   tool link ↗
   
6. ▲

   coreland-lua-ada github.com

   Ada bindings to the Lua language.

   tool link ↗
   tool

Ada/SPARK › Hardware and Embedded > Controllers: “Software controller for solenoid engines (Ada/STM32F4).”