A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.

A Conversational Speech Generation Model

ElKowars wacky widgets

Rust actor framework

High performance self-hosted photo and video management solution.

A next-generation test runner for Rust.

A good looking terminal emulator which mimics the old cathode display...

A post-modern modal text editor.

📡🐧 Linux kernel syscall implementation tracker

Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust

Hypothesis-like property testing for Rust

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Fully typed LMDB wrappers with minimum overhead 🐦

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

Write expressive, high-performance parsers with ease.

Pathfinding library for rust

Semantics of x86-64 in K

Zero-copy deserialization framework for Rust

🏅State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of items using orders of magnitude less space than traditional indexes

A dynasm-like tool for rust.

An ergonomic and safe syscall interception framework for Linux.

Map data structure whose keys are stored as ranges

The never type (the true one!) in stable Rust.

tiniest x86-64-linux emulator

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

strace is a diagnostic, debugging and instructional userspace utility for Linux

Build system, successor to Buck

Real-time microphone noise suppression on Linux.

A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.