Updated 5 hours ago
Updated 11 hours ago
smoltcp driver for the ENC424J600 SPI Ethernet controller
Updated 13 hours ago
Updated 14 hours ago
Updated 1 day ago
ARTIQ Zynq-based core device support
Updated 1 week ago
Bare-metal Rust on Zynq-7000
Updated 3 weeks ago
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated 1 month ago
Updated 1 month ago
Firmware for the Sinara 8451 Thermostat
Updated 1 month ago
Updated 1 month ago
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated 1 month ago
Simple Flash Key-Value store
Updated 2 months ago
Updated 2 months ago
Formally verified ARTIQ RTIO core in nMigen
Updated 3 months ago