Formally verified ARTIQ RTIO core in nMigen

Updated 2 years ago

Minimalist bare metal Rust firmware for Red Pitaya

Updated 3 months ago

Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders

Updated 2 years ago

Updated 2 years ago

Simple Flash Key-Value store

Updated 2 years ago

Updated 1 year ago

Updated 1 week ago

A Rust library implementing safe, lightweight context switches, without relying on kernel services

Updated 1 year ago

A leading-edge control system for quantum information experiments

Updated 5 hours ago

Updated 1 week ago

Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.

Updated 3 weeks ago

NixOS configuration for pre-installed Linux computers

Updated 5 months ago

Updated 1 month ago

Next-generation FPGA SoC toolkit

Updated 3 years ago

Trivial network-controlled plugs

Updated 3 years ago

People