Empowering everyone to build reliable and efficient software.

A cross-platform, OpenGL terminal emulator.

A simple, fast and user-friendly alternative to 'find'

Scalable datastore for metrics, events, and real-time analytics

A command-line benchmarking tool

Anki is a smart spaced repetition flashcard program

Create book from markdown files. Like Gitbook but implemented in Rust

the champagne of beta embedded databases

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Upgrade everything

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

Your project's nix-env

Library implementing type inference/checking functionality based on the Lean theorem prover