suremarc

hyperfine

A command-line benchmarking tool

mold

Mold: A Modern Linker 🦠

sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

earthly

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

tigerbeetle

The financial transactions database designed for mission critical safety and performance.

lean4

Lean 4 programming language and theorem prover

criterion.rs

Statistics-driven benchmarking library for Rust

litefs

FUSE-based file system for replicating SQLite databases across a cluster of machines

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

qsv

CSVs sliced, diced & analyzed.

drl-zh

Deep Reinforcement Learning: Zero to Hero!

dfhack

Memory hacking library for Dwarf Fortress and a set of tools that use it

dfdx

Deep learning in Rust, with shape checked tensors and neural networks

awesome-engineering-games

A curated list of engineering-related video games rated Very Positive or higher on Steam

mathlib4

The math library of Lean 4

zerocopy

lattigo

A library for lattice-based multiparty homomorphic encryption in Go

substrait

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

okapi

OpenAPI (AKA Swagger) document generation for Rust projects

hvm-64

bbqueue

A SPSC, lockless, no_std, thread safe, queue, based on BipBuffers

certigrad

Bug-free machine learning on stochastic computation graphs

parquet-go

High-performance Go package to read and write Parquet files

arcanevm

A Fully Homomorphic Encryption Brainfuck virtual machine

shared-arena

A thread-safe & efficient memory pool

iai-callgrind

High-precision and consistent benchmarking framework/harness for Rust

lfbb

A Lock Free Bipartite Buffer Library written in standard C11

YALPS

Yet Another Linear Programming Solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.