A secure and high performances microkernel for building secure MCU-based IoTs
47,133 repositories indexed
1–5 of 5 · Most stars
A secure and high performances microkernel for building secure MCU-based IoTs
Ada-language framework
Ada Embedded Network Stack
Giza is trying to be a simple widget tool kit for embedded platforms
Extensions to the Tiny Lisp language for embedded applications