A leading-edge control system for quantum information experiments
Updated 1 day ago
Minimalist bare metal Rust firmware for Red Pitaya
Updated 11 months ago
Updated 2 years ago
Formally verified ARTIQ RTIO core in nMigen
Updated 3 years ago
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated 3 years ago
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 3 years ago