XiangpengHao

Marlin

Marlin is an optimized firmware for RepRap 3D printers based on the Arduino platform. Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your specific machine.

bpytop

Linux/OSX/FreeBSD resource monitor

OctoPrint

OctoPrint is the snappy web interface for your 3D printer!

nodemcu-firmware

Lua based interactive firmware for ESP8266, ESP8285 and ESP32

sqlite

Official Git mirror of the SQLite source tree

c2rust

Migrate C code to Rust

linearmouse

The mouse and trackpad utility for Mac.

monyhar

梦弘浏览器 - 完全自主研发，打破国外垄断，比 Chrome 快 600%。

redb

An embedded key-value database in pure Rust

ebpf-for-windows

eBPF implementation that runs on top of Windows

3D-printed-mirror-array

3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns

kani

Kani Rust Verifier

sysinfo

Cross-platform library to fetch system information

connector-x

Fastest library to load data from DB to DataFrames in Rust and Python

sqlite-zstd

Transparent dictionary-based row-level compression for SQLite

high-assurance-rust

A free book about developing secure and robust systems software.

tokio-uring

An io_uring backed runtime for Rust

core-to-core-latency

Measures the latency between CPU cores

argmin

Numerical optimization in pure Rust

shuttle

Shuttle is a library for testing concurrent Rust code

clusterfuzzlite

ClusterFuzzLite - Simple continuous fuzzing that runs in CI.

leanstore

sqlite-loadable-rs

A framework for writing fast and performant SQLite extensions in Rust

espressif-trainings

Embedded Rust on Espressif training material.

learntla

A TLA+ guide

senpai

Senpai is an automated memory sizing tool for container applications.

bolero

property testing and verification front-end for Rust

sptr

sptr: The Strict Provenance Polyfill

fazi

drop-in replacement for libfuzzer

esp32-power-consumption-test

Comparison of several ESP32 boards' power consumptions in different sleep modes