Bare-metal Rust on Zynq-7000
Updated 1 week ago
WinF*VM
Updated 1 week ago
Updated 2 months ago
M-Labs website (legacy) - see web2019 repository instead
Updated 3 years ago
Trivial network-controlled plugs
Updated 4 years ago
Firmware for the Sinara 8451 Thermostat
Updated 2 months ago
Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.
Updated 3 weeks ago
Simple Flash Key-Value store
Updated 2 years ago
Joe's Sayma project plan
Updated 4 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 port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 3 years ago
Hydra settings and non-flakes packaging code. See https://git.m-labs.hk/m-labs/artiq-extrapkg for new NDSPs and contrib libraries.
Updated 22 minutes ago
Updated 2 years ago
New ARTIQ compiler, third iteration
Updated 5 days ago