CBOR protocol implementation for C

Rust Memory Safety & Undefined Behavior Detection

High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus

A memory allocator verified with Verus

Stack safe and expressive recursion in Rust

Verus-verified implementation of Ironfleet Sharded Hash Table key-value store

Verified Rust for low-level systems code

A community preview of ongoing formal verification efforts for Asterinas

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

An implementation of Sea of Node Simple project in Rust

Command-line JSON processor

My literate Emacs configuration

A comprehensive test suite for RFC 8259 compliant JSON parsers

An image viewer for MATE

Better configuration for less

A Unix shell embedded in scheme

Rust library allowing to register multiple handlers for the same signal

Safe Rust bindings to POSIX-ish APIs

Wireshark dissector for Zenoh protocol

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…

in-place allocation-reusing queues for Rust

A fast and safe implementation of stackful coroutines in Rust

Implementations of the Willow family of specifications in Rust.

Rust Lisp expression parser and serializer

Easily assign underlying errors into domain-specific errors while adding context

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

A minimal async executor that lets you block on a future

The Willow Protocol website.