randombit

bevy

A refreshingly simple data-driven game engine built in Rust

tikv

Distributed transactional key-value database, originally created to complement TiDB

HVM

A massively parallel, optimal functional runtime in Rust

Symphonia

Pure Rust multimedia format demuxing, tag reading, and audio decoding library

samply

Command-line sampling profiler for macOS and Linux

tio

A serial device I/O tool

cached

Rust cache structures and easy function memoization

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

ClangBuildAnalyzer

Clang build analysis tool using -ftime-trace

bite

Disassembler focused on comprehensive rust support.

OffsetAllocator

Fast O(1) offset allocator with minimal fragmentation

hash-prospector

Automated integer hash function discovery

datacake

Tooling for creating your own distributed systems.

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

aeneas

A verification toolchain for Rust programs

rpp

Minimal Rust-inspired C++20 STL replacement

libcrux

The formally verified crypto library for Rust

cargo-unmaintained

Find unmaintained packages in Rust projects

circom-2-arithc

Circom interpreter to arithmetic circuit description

neptune-core

anonymous peer-to-peer cash

liboprf

library providing OPRF and Threshold OPRF based on libsodium

powdr-brainfuck

ZK proofs for Brainfuck execution using powdr

botan-cmake

Easy botan integration into cmake projects using automatically generated amalgamation files.

harpo

A tool for secret-shared passphrases.

TLS1.3

Bilingual Implementation of TLS1.3 in C++ and Rust

Jumping4Bernstein-YangInversion

deterministic-keygen

Deterministic key-generator

range-proofs

Simple benchmarks for various proofs across multiple proof systems