sysprogs's repositories
PicoHTTPServer
Host responsive Web Apps on Raspberry Pi Pico W
esp8266-openocd
A stable ESP8266 port of OpenOCD
openocd-esp32
OpenOCD branch with ESP32 JTAG support
GDBServerFoundation
A simple framework for building GDB stubs
gnutoolchains
Open-source GNU cross-toolchains for various architectures
RTOSPlugins
Plugin for VisualGDB (http://visualgdb.com) to support FreeRTOS tasks.
VisualGDBExtensibilityExamples
Example Projects Demonstrating VisualGDB Extensibility API
msp430-gdbproxy
A basic tool for debugging MSP430 devices using MSP430.DLL
riscv-openocd
Fork of OpenOCD that has RISC-V support
arduino-builder
A command line tool for compiling Arduino sketches
arduino-cli
Arduino command line interface
oe-manifest
oe-manifest
openocd-st
STMicroelectronics customized version of OpenOCD