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

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

Formally verified ARTIQ RTIO core in nMigen

Updated 2020-11-18 10:49:10 +08:00

Updated 2021-11-23 12:26:28 +08:00

Minimalist bare metal Rust firmware for Red Pitaya

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

Updated 2021-01-23 10:59:54 +08:00

Joe's Sayma project plan

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

Updated 2023-06-01 04:32:21 +08:00

Simple Flash Key-Value store

Updated 2020-12-17 01:50:27 +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

Sinara datasheets

Updated 2022-01-18 15:58:50 +08:00

Library to read Tar archives (by GNU Tar) in `no_std` contexts with zero allocations. The crate is simple and only supports reading of "basic" archives, therefore no extensions, such as GNU Longname. The maximum supported file size is 100 characters including the NULL-byte. Forked from: https://github.com/phip1611/tar-no-std

Updated 2023-11-13 10:31:42 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2024-02-20 10:56:34 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2020-12-09 01:00:10 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2022-03-02 17:26:26 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2024-03-08 11:16:29 +08:00

Firmware for the Sinara 8451 Thermostat

Updated 2024-03-27 11:58:12 +08:00

Trivial network-controlled plugs

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

M-Labs website (legacy) - see web2019 repository instead

Updated 2020-08-24 09:58:25 +08:00

Updated 2024-03-08 09:31:34 +08:00

Updated 2022-01-19 15:20:40 +08:00