Hydra settings and non-flakes packaging code. See https://git.m-labs.hk/m-labs/artiq-extrapkg for new NDSPs and contrib libraries.
Updated
M-Labs website (legacy) - see web2019 repository instead
Updated
Firmware for the Sinara 8451 Thermostat
Updated
Updated
Testing Thermostat v1 with ionpak
Updated
Updated
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated
Formally verified ARTIQ RTIO core in nMigen
Updated