Stars
Blazingly fast pusher drop-in replacement written in rust
Lightweight coding agent that runs in your terminal
Distributed transactional key-value database, originally created to complement TiDB
Runtime agnostic async executor with powerful configurable scheduling
A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.
CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Oneshot Rust channel working both in and between sync and async environments
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A thread-per-core Linux io_uring async runtime for Rust optimized for latency.
(WIP) Zed fork focused on privacy and being local-first
Fullstack app framework for web, desktop, and mobile.
A lightweight low-level single-threaded actor runtime
A markup-based typesetting system that is powerful and easy to learn.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
Transform your failing Rust functions into INTELLIGENT SUCCESS SYSTEMS
Tools for concurrent programming in Rust
Simple pure Rust AWS S3 Client following a Sans-IO approach
The open-source Observability 2.0 database. One engine for metrics, logs, and traces — replacing Prometheus, Loki & ES.
Web browser add-on that prevents YouTube's automatic translations! It keeps titles, descriptions, and audio in their original language.