Back up and search your shell history with SQLite

Examples of computing over encrypted or private data

Generate `todo!()` stubs in testing mode for trait methods without default implementations.

A rich git commit graph in your terminal, like magic 📚

bluetooth mesh chat, IRC vibes

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

A tool for using pools of EC2 instances to do all kinds of things.

A lightweight and colourful test framework

A fast linearizability checker written in Go 🔎

A simple library implementation of binary sessions

An experimental stackless Lua VM implemented in pure Rust

A command line tool for datetime arithmetic, parsing, formatting and more.

Off-chain services for CoW Protocol

Qt Graphical MPD Client

Script to automatically mark long vowels in Latin texts. Also optionally performs conversion of u to v and i to j.

demo of calling a rust yaml parser from ocaml code

A verifier for automated and interactive proofs about transition systems.

self-guided cs 6120 course + blog

A race condition detector for the BEAM

Small crate to infer file and MIME type by checking the magic number signature

A Rust JSON5 serializer and deserializer which speaks Serde.

Database write ahead log in Rust.

distribute and coordinate work using parallel processes (like GNU parallel, but much faster and memory-efficient)

A markdown terminal slideshow tool

A fast data collector in Rust

Rust port of TLSH

toxcore implementation in Rust