A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated
Formally verified ARTIQ RTIO core in nMigen
Updated
Minimalist bare metal Rust firmware for Red Pitaya
Updated
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated
Updated
A Rust library implementing safe, lightweight context switches, without relying on kernel services
Updated
A leading-edge control system for quantum information experiments
Updated
Updated
Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.
Updated
NixOS configuration for pre-installed Linux computers
Updated