skoocda

defmt

Efficient, deferred formatting for logging on embedded systems

log

Logging implementation for Rust

usb-gadget

Expose standard or fully custom USB peripherals (gadgets) through a USB device controller (UDC) on Linux using Rust.

alpakka_firmware

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

luhsoccer_firmware

The firmware of robots and our basestation

quad

Firmware, hardware and documentation for my autonomous quad copter project

h3

quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

hyper

An HTTP library for Rust

quinn

Async-friendly QUIC implementation in Rust

space-station-14

A multiplayer game about paranoia and chaos on a space station. Remake of the cult-classic Space Station 13.

Time-Sleuth

Easy to build & cheap hdmi display lag tester

console

a debugger for async rust!

rust-telemetry-workshop

Build a comprehensive toolkit to detect, troubleshoot and resolve issues with Rust applications.

ghdl

VHDL 2008/93/87 simulator

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

ThunderKittens

Tile primitives for speedy kernels

ch32v003_stt

Simple Speech-To-Text on the '10 cents' CH32V003 Microcontroller

libriscv

The fastest RISC-V sandbox

DiscoGrad

DiscoGrad - automatically differentiate across conditional branches in C++ programs

ghidra

Ghidra is a software reverse engineering (SRE) framework

hackbat

Hackbat repository

truck

Truck is a Rust CAD Kernel.

CADmium

A CAD program that runs in the browser

Glider

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Kind1

A modern proof language

HVM

A massively parallel, optimal functional runtime in Rust

Bend

A massively parallel, high-level programming language

air-force-one

A simple air quality measurement system