A G-code parser and CNC controller (in Ada)
Repository Index
81,588 visible repositories in the index
1–13 of 13 · Most stars
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Ada-language framework
- ada
- ada-language
- arm
- avr
Ada Embedded Network Stack
Square Inch Synthesizer
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Ada client library for ROS2/RCL
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
Waking up with a fresh cup of coffee
Software controller for solenoid engines (Ada/STM32F4)
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Raspberry Pi using a BBC Micro:Bit as temperature sensor