A library for integration-testing against docker containers from within Rust.

A Rust library for reading a user's Docker credentials from config.

Rust HTTP types

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

PubGrub version solving algorithm implemented in Rust

Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views

Production-grade client-side tracing, profiling, and analysis for complex software systems.

Analyze Rust crates without touching compiler internals

A verification toolchain for Rust programs

A client library for executing notebooks. Formally nbconvert's ExecutePreprocessor

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Meaningful control of data in distributed systems.

A fast stabilizer circuit library.

Fast C++ and Python library for state-vector simulation of quantum circuits.

Python API for AMPL

A minimal, secure Python interpreter written in Rust for use by AI

Rust bindings for the Z3 solver.

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

Wasm powered Jupyter running in the browser 💡

❌ Cargo plugin for linting your dependencies 🦀

Convex Over and Under Envelopes for Nonlinear Estimation

📸 Take beautiful screenshots of your code in VS Code!

A Python Interpreter written in Rust

QIR specification defining how to represent quantum programs within the LLVM IR

A lightweight Datalog engine in Rust

sccache github action

A VSCode extension that renders and displays mermaids written in source code comments

A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

Python interface and modeling environment for GCG