Joe's Sayma project plan
Updated 4 years ago
Testing Thermostat v1 with ionpak
Updated 4 years ago
Testing Thermostat v1 with ionpak
Updated 4 years ago
Trivial network-controlled plugs
Updated 4 years ago
Open source laser wavemeter with NO expensive optics and NO machining
Updated 4 years ago
Bare-metal Rust on the Xilinx Zynq ZC706 devkit
Updated 4 years ago
Updated 4 years ago
Next-generation FPGA SoC toolkit
Updated 3 years ago
WinF*VM
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Bare-metal Rust on Zynq-7000
Updated 3 years ago
M-Labs website (legacy) - see web2019 repository instead
Updated 3 years ago
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 3 years ago
Bare-metal Rust on Zynq-7000
Updated 3 years ago
ARTIQ Zynq-based core device support
Updated 3 years ago
Updated 3 years ago
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated 3 years ago
Formally verified ARTIQ RTIO core in nMigen
Updated 3 years ago
Updated 3 years ago