Código aberto. Novas possibilidades.

Lista curada de recursos de programação embarcada cobrindo plataformas MCU, desenvolvimento bare-metal, RTOS, kernel Linux e drivers, toolchains e materiais de aprendizado.

Takibi é uma linguagem de sistemas de pesquisa e um kernel monolítico compatível com Linux-ABI, projetado para transferir falhas de runtime do kernel para erros de compilação usando tipos de refinamento e ownership afim.

O PlatformIO Core é uma ferramenta de linha de comando de código aberto para desenvolvimento de software embarcado, fornecendo um sistema de build multiplataforma, gerenciamento de bibliotecas, depuração, testes unitários e análise estática de código para projetos de microcontroladores.