Updated 7 months ago

NixOS configuration for pre-installed Linux computers

Updated 3 months ago

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

Updated 3 weeks ago

Updated 1 week ago

A leading-edge control system for quantum information experiments

Updated 2 days ago

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

Updated 2 years ago

Updated 4 months ago

Updated 2 years ago

Simple Flash Key-Value store

Updated 2 years ago

Updated 3 years ago

Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders

Updated 3 years ago

Minimalist bare metal Rust firmware for Red Pitaya

Updated 5 months ago

Formally verified ARTIQ RTIO core in nMigen

Updated 3 years ago

A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.

Updated 2 years ago

MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO

Updated 1 year ago