Next-generation FPGA SoC toolkit
Updated 2020-04-30 16:47:30 +08:00
Trivial network-controlled plugs
Updated 2019-12-01 17:04:02 +08:00
Firmware for Sinara Fast-Servo based on Not-OS and Linien
Updated 2024-08-22 14:24:54 +08:00
ARTIQ Zynq-based core device support
Updated 2024-09-09 16:43:26 +08:00
Testing Thermostat v1 with ionpak
Updated 2019-11-14 09:00:13 +08:00
Updated 2020-03-06 11:04:59 +08:00
M-Labs website (legacy) - see web2019 repository instead
Updated 2020-08-24 09:58:25 +08:00
Joe's Sayma project plan
Updated 2019-07-03 23:28:38 +08:00
Updated 2024-08-27 22:48:46 +08:00
Firmware for the Sinara 8451 Thermostat
Updated 2024-08-13 15:13:21 +08:00
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 2020-09-21 13:45:43 +08:00
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated 2024-04-25 16:27:19 +08:00
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated 2021-01-06 13:10:00 +08:00
Formally verified ARTIQ RTIO core in nMigen
Updated 2020-11-18 10:49:10 +08:00
Bare-metal Rust on Zynq-7000
Updated 2024-07-09 23:03:32 +08:00

Members 2