Minimalist bare metal Rust firmware for Red Pitaya

Updated 2023-01-06 10:03:03 +08:00

Formally verified ARTIQ RTIO core in nMigen

Updated 2020-11-18 10:49:10 +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

MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO

Updated 2024-04-23 18:19:18 +08:00

A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen

Updated 2020-09-21 13:45:43 +08:00

WinF*VM

Updated 2023-06-29 09:49:58 +08:00

Updated 2024-04-13 16:54:41 +08:00

ARTIQ Zynq-based core device support

Updated 2024-04-12 17:23:12 +08:00

New ARTIQ compiler, third iteration

Updated 2024-04-24 17:45:46 +08:00

Trivial network-controlled plugs

Updated 2019-12-01 17:04:02 +08:00

Updated 2020-03-06 11:04:59 +08:00

Testing Thermostat v1 with ionpak

Updated 2019-11-14 09:00:13 +08:00

Updated 2024-04-23 13:14:28 +08:00

Joe's Sayma project plan

Updated 2019-07-03 23:28:38 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2024-04-24 18:05:22 +08:00

Members 2