M-Labs Scientific Instruments
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated 2025-02-08 12:58:20 +08:00
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated 2025-02-08 12:58:20 +08:00
Testing Thermostat v1 with ionpak
Updated 2025-02-08 12:58:20 +08:00
rust-core_io without the broken auto-patching method.
Updated 2025-02-08 12:58:20 +08:00
Joe's Sayma project plan
Updated 2025-02-08 12:58:20 +08:00
Updated 2025-02-08 12:58:20 +08:00
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 2025-02-08 12:58:20 +08:00
Trivial network-controlled plugs
Updated 2025-02-08 12:58:20 +08:00
Formally verified ARTIQ RTIO core in nMigen
Updated 2025-02-08 12:58:20 +08:00
Minimalist bare metal Rust firmware for Red Pitaya
Updated 2025-02-08 12:58:20 +08:00
Updated 2025-02-08 12:58:20 +08:00
Simple Flash Key-Value store
Updated 2025-02-08 12:58:20 +08:00
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated 2025-02-08 12:58:20 +08:00

Members 2