Abdelatif Guettouche's repositories
arduino-esp32
Arduino core for the ESP32
ArduinoCore-avr
The Official Arduino AVR core
compile-sketches
GitHub Actions action that checks whether Arduino sketches compile and produces a report of data from the compilations
control-toolbox
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control
incubator-nuttx
Apache nuttx
incubator-nuttx-apps
Apache nuttx
incubator-nuttx-testing
Apache NuttX Testing contains shared test infrastructure for Apache NuttX (incubating)
incubator-nuttx-website
Apache NuttX Website
Javaquarium
Javaquarium
mbedtls
An open source, portable, easy to use, readable and flexible SSL library
openocd-esp32
OpenOCD branch with ESP32 JTAG support
picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
ProjectNorthStar
The open-source files comprising Leap Motion's Project North Star AR Headset.
pytest-embedded
Collection of pytest plugins for embedded projects
schoolMIPS
CPU microarchitecture, step by step