An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A pure-rust implementation of the GVariant serialisation format

cpuid library in rust.

Key Rotation for Authenticated Encryption

A Rust implementation of DEFLATE algorithm and related formats (ZLIB, GZIP)

Efficient and customizable data-encoding functions in Rust

Rust library to find links such as URLs and email addresses in plain text, handling surrounding punctuation correctly

Thread-local loop and other simplifications for tokio loop

Demonstration of rkt's seccomp filter features

Prometheus instrumentation library for Rust applications

Mirror of https://gitlab.redox-os.org/redox-os/termion

MessagePack implementation for Rust / msgpack.org[Rust]

A curated list of Game Boy development resources such as tools, docs, emulators, related projects and open-source ROMs.

A parser combinator library for Rust

Ikiwiki for newborn LUG: SLIMP

A web browser that adheres to the unix philosophy.