A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
89,073 visible repositories in the index
1–6 of 6 · Most stars
A G-code parser and CNC controller (in Ada)
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Giza is trying to be a simple widget tool kit for embedded platforms
Software controller for solenoid engines (Ada/STM32F4)
STM32 UI library and tools
- stm32
- ada
- ui
- display