egg is a flexible, high-performance e-graph library

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

The Z3 Theorem Prover

graph data structures and algorithms for Go

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Golang Arena Memory Allocator

Highly optimized IPv4 checksum calculation, no-std compatible, for rust and c

Fast HTML to Markdown Converter in rust

2D ODE solution through finite difference on embedded C

Empowering everyone to build reliable and efficient software.

A memory efficient string type that can store up to 24* bytes on the stack

A fast, modern, and easily configurable web server with automatic TLS.

A double-to-string conversion library

A curated list of awesome C/C++ performance optimization resources: talks, articles, books, libraries, tools, sites, blogs. Inspired by awesome.

A Python-embedded modeling language for convex optimization problems.

A stack-based memory allocator with optional fallback to a global/secondary allocator.

🔤 Rust implementations of string similarity metrics

Cross-platform Rust rewrite of the GNU coreutils

Optimized memory layout using struct of array, Data-oriented design in Rust.

The sysroot manager that lets you build and customize `std`

🛜 TUI for managing bluetooth on Linux

🕵️‍♂️ TUI for sniffing network traffic using eBPF on Linux

an extremely fast async mutex with alternative sync API

Rust HTTP types

Unsafely fast hashing algorithm 📈

Rust async runtime based on io-uring.

A very fast linker for Linux

Rust bindings for the Python interpreter

🦀 GPU memory allocator for Vulkan, DirectX 12 and Metal. Written in pure Rust

Dion optimizer algorithm