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:

Updated 4 weeks ago