A ESP8266 devkit firmware for the Nodoshop version of the Opentherm Gateway (OTGW)

Reverse engineered wifi driver for the ESP32

Experiments on the RP1

Run Linux on MCUs such as ESP32C3 with RISC-V emulator

Multi-Platform Gamepad Firmware for Raspberry Pi Pico and other RP2040 boards

Converting a Raspberry Pico into an OpenPGP CCID smart card.

A serial bootloader for the Raspberry Pi RP2040 (Pico)

Learning FPGA, yosys, nextpnr, and RISC-V

JavaScript port of picotool

Evaluation board for AllWinner's RISC-V 64 SoC F133/D1s

Verilog UART

New clean hdmi implementation for ulx3s, icestick, icoboard, arty7, colorlight i5 and blackicemx! With tmds encoding hacked down from dvi standard. Supports DDR and SRD tranfser!

A realtime raytracing extension chip for the SNES

Universal badge platform for ESP32 based devices! Runs on the event badges from SHA2017, HackerHotel 2019, Disobey 2019, CampZone 2019, Disobey 2020 and more!

A web interface for badge.team-firmware badges using WebSerial

A visual simulator for teaching computer architecture using the RISC-V instruction set

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

BornHack Badge 2020

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

rv32i/rv32im/rv32imc for iCE40. Wishbone interface.

Convert Inkscape SVG drawings to KiCad PCB and footprint modules

Arduino MIPI DSI Shield

A full-speed device-side USB peripheral core written in Verilog.