Código abierto. Nuevas posibilidades.

Una lista seleccionada de recursos de programación embebida que abarca plataformas de MCU, desarrollo bare-metal, RTOS, trabajo con el kernel de Linux y controladores, cadenas de herramientas y materiales de aprendizaje.

Takibi es un lenguaje de sistemas de investigación y un kernel monolítico compatible con Linux-ABI, diseñado para trasladar los fallos de ejecución del kernel a errores de compilación mediante tipos de refinamiento y propiedad afín.

PlatformIO Core es una herramienta de línea de comandos de código abierto para desarrollo de software embebido, que ofrece un sistema de compilación multiplataforma, gestión de bibliotecas, depuración, pruebas unitarias y análisis estático de código para proyectos de microcontroladores.