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 coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

Python interface and modeling environment for GCG

TLS/SSL and crypto library

COIN-OR Interior Point Optimizer IPOPT

量子ソフトウェア産学協働ゼミ

GPU accelerated decision optimization

QAT is a quantum compiler and runtime focused on low-level, just-above-driver integration.

A browser based code editor

🪐 Jupyter NbModel Client.