Next-generation FPGA SoC toolkit

Updated 2020-04-30 16:47:30 +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 2020-03-06 11:04:59 +08:00

Trivial network-controlled plugs

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

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

Updated 2020-09-21 13:45:43 +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

Minimalist bare metal Rust firmware for Red Pitaya

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

Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders

Updated 2020-10-15 16:10:44 +08:00

Updated 2020-12-08 17:19:14 +08:00

Simple Flash Key-Value store

Updated 2020-12-17 01:50:27 +08:00

Updated 2021-10-02 23:51:01 +08:00

Updated 2023-11-28 13:56:04 +08:00

Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.

Updated 2023-08-02 15:16:33 +08:00

Members 2