🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

symbolic execution engine for Rust

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

Rust implementation of the projects from the book Modern Compiler Implementation in ML

Rust bindings for OpenVINO™