Empowering everyone to build reliable and efficient software.

A modern editor with a backend written in Rust.

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Parser for Rust source code

Rust port of Google's SwissTable hash map

an efficient awk-like language

A free-range, non-GMO fork of busybox in 100% Rust 🦀

The Wasm-Enabled, Elfin Allocator

Refinement Types for Rust

an implementation of BLAKE3 verified streaming

symbolic execution engine for Rust

Single-threaded graph computation in Rust

Pure-Rust traits and utilities for constant-time cryptographic implementations.

An extraction of the compiletest utility from the Rust compiler

A library which finds language features in rust code and provides resources on them.