Repository Index

A secure and high performances microkernel for building secure MCU-based IoTs

• ada
• microkernel
• embedded
• security

Ada-language framework

• ada
• ada-language
• arm
• avr

Ada Embedded Network Stack

• ip
• udp
• dns
• ethernet

Giza is trying to be a simple widget tool kit for embedded platforms

Extensions to the Tiny Lisp language for embedded applications

• ada
• lisp
• lisp-dialect
• lisp-interpreter

Embedded logging absent of runtime errors