M-Labs

riscv-formal-nmigen

Python 0 0

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

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

humpback-dds

Rust 0 3

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

Updated 2024-04-25 16:27:19 +08:00

compiler-builtins-zynq

Rust 0 0

A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.

Updated 2021-01-06 13:10:00 +08:00

rtio-nmigen

Python 0 0

Formally verified ARTIQ RTIO core in nMigen

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

rust-pitaya

Python 0 0

Minimalist bare metal Rust firmware for Red Pitaya

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

artiq-netboot

Python 0 0

Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders

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

cheko-wp

TeX 0 0

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

sfkv

Rust 0 0

Simple Flash Key-Value store

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

nac3-spec

Python 0 0

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

labelprinter

Shell 0 0

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

libfringe

Rust 0 2

A Rust library implementing safe, lightweight context switches, without relying on kernel services

Updated 2024-05-23 15:56:35 +08:00

artiq

Python 0 1

A leading-edge control system for quantum information experiments

compiler physics python qt quantum-computing rust science

Updated 2024-07-26 10:55:40 +08:00

artiq-extrapkg

Nix 0 4

Updated 2024-07-15 19:07:27 +08:00

defenestrate

Nix 0 1

NixOS configuration for pre-installed Linux computers

Updated 2024-07-17 17:16:43 +08:00

kirdy

Rust 0 1

Firmware for the Sinara 1550 Kirdy laser diode driver

Updated 2024-07-26 14:30:44 +08:00

Members 2