Results for ripr

Find static mutation-exposure gaps before expensive mutation testing

Policy parsing and validation for cargo-allow source exception ledgers.

Need a powerful and simple library to work with arithmetic progressions in Rust? You should definitively try out ariprog!

Lean 4-compatible type checker CLI in Rust (pre-release placeholder)

Lean 4-compatible elaborator in Rust (pre-release placeholder)

Lean 4 export NDJSON parser in Rust (pre-release placeholder)

Lean 4-compatible type checker kernel in Rust (pre-release placeholder)

Lean 4-compatible Language Server Protocol server in Rust (pre-release placeholder)

Lean 4-compatible tactic engine in Rust (pre-release placeholder)

Lean 4-compatible type checker core types in Rust (pre-release placeholder)

An Express.js-inspired web framework for Rust

Procedural macros for ripress