Updated
Updated
A leading-edge control system for quantum information experiments
Updated
A leading-edge control system for quantum information experiments
Updated
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated
Repository with instructions and remarks on assembling and testing Sinara hardware
Updated
Repository with instructions and remarks on assembling and testing Sinara hardware
Updated
Repository with instructions and remarks on assembling and testing Sinara hardware
Updated
Repository with instructions and remarks on assembling and testing Sinara hardware
Updated
Updated
Tool for making phase-skew measurement between RedPitaya channels.
Updated
Updated
Updated
Updated
Updated
Updated
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated
Formally verified ARTIQ RTIO core in nMigen
Updated
Minimalist bare metal Rust firmware for Red Pitaya
Updated
Updated