Alan Carvalho de Assis's starred repositories
datatype99
Algebraic data types for C99
esp8266-plane-spotter-color
Color version of the ESP8266 Plane Spotter
openocd-nuttx
Fork of OpenOCD with NuttX thread support.
Linux-XMC-Development
GNU toolchain for Infineon XMC Microcontroller software development
MYSQL-client-for-STM32
MYSQL C client tested on STM32F407VG and STM32F446RE
vscode-nuttx
NuttX Helpers VS Code Extension
docker-nuttx
Docker image with all you need to build Nuttx
SigPlotI2S
Script to plot audio waves from I2S samples exported from sigrok/PulseView.
vscode-nuttx
NuttX Helpers VS Code Extension
incubator-nuttx
NuttX for micro:bit. Apache NuttX is a mature, real-time embedded operating system (RTOS)