Formally verified ARTIQ RTIO core in nMigen
Updated 3 years ago
Minimalist bare metal Rust firmware for Red Pitaya
Updated 11 months ago
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated 3 years ago
Updated 3 years ago
Simple Flash Key-Value store
Updated 3 years ago
Updated 2 years ago
Updated 1 week ago
A Rust library implementing safe, lightweight context switches, without relying on kernel services
Updated 2 years ago
A leading-edge control system for quantum information experiments
Updated 4 days ago
Updated 2 weeks ago
Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.
Updated 4 months ago
NixOS configuration for pre-installed Linux computers
Updated 3 months ago
Updated 1 year ago
Library to read Tar archives (by GNU Tar) in `no_std` contexts with zero allocations. The crate is simple and only supports reading of "basic" archives, therefore no extensions, such as GNU Longname. The maximum supported file size is 100 characters including the NULL-byte. Forked from: https://github.com/phip1611/tar-no-std
Updated 4 weeks ago
Updated 3 days ago