Starred repositories
Web app to parse and save your Hangouts.json file into a more friendly format.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
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 - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
Protect your data against global mass surveillance programs.
Turso is an in-process SQL database, compatible with SQLite.
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
Unicode® algorithms on a chip. Compliant with MISRA C:2012.
🗻 Log-structured, embeddable key-value storage engine written in Rust
Proofs in Coq for the book Reflective Programs in Tree Calculus
🪪 User identification, authentication, and authorization for Axum.
A lighweight and parallel snapshot testing framework in rust
A JWT based API for managing users and issuing JWT tokens
Rust port of Spice, a low-overhead parallelization library