Bare-metal Rust on Zynq-7000

Updated 2 months ago


Updated 1 year ago

Updated 4 months ago

M-Labs website (legacy) - see web2019 repository instead

Updated 2 years ago

Trivial network-controlled plugs

Updated 3 years ago

Firmware for the Sinara 8451 Thermostat

Updated 7 months ago

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

Updated 1 day 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 3 weeks ago

Formally verified ARTIQ RTIO core in nMigen

Updated 2 years ago

A port of [riscv-formal]( to nMigen

Updated 2 years ago

Hydra settings and non-flakes packaging code. See for new NDSPs and contrib libraries.

Updated 2 days ago

Updated 1 year ago

New ARTIQ compiler, third iteration

Updated 2 weeks ago