Stars
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…
Rust binding for the HiGHS linear programming solver
A library for integration-testing against docker containers from within Rust.
A Rust library for reading a user's Docker credentials from config.
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 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.
Fast C++ and Python library for state-vector simulation of quantum circuits.
A minimal, secure Python interpreter written in Rust for use by AI
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!
QIR specification defining how to represent quantum programs within the LLVM IR