Starred repositories
A scalable overlay networking tool with a focus on performance, simplicity and security
Process-independent interface to Linux system calls
A friendly theatrical DMX lighting console with audio playback, designed for small-scale theatres and schools.
Why is this running? Trace any process, port, container, or file back to what started it - CLI + TUI.
Benchmarking Rust key-value storage engines
A native Emacs buffer to interact with LLM agents powered by ACP
Web app to parse and save your Hangouts.json file into a more friendly format.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
SDK for building cross-platform desktop apps in ANSI-C
libui-ng: a portable GUI library for C. "libui for the next generation"
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
ZeroFS: A log-structured filesystem for S3. ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.
Tool for managing Stellar History Archives
Protect your data against global mass surveillance programs.
A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
A simple one function emacs mcp to execute lisp via emacsclient
A fast framework for writing baseline compiler back-ends in C++
A verifier for automated and interactive proofs about transition systems.
A Simple showcase for the Sea-of-Nodes compiler IR
Malloy is a modern open source language for describing data relationships and transformations.
fltk-accesskit is an fltk accesskit adapter made to work with the fltk gui crate