Pointerbender/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Repositories
Pointerbender/deferred-reference
Pointerbender/tempfile
Temporary file library for rust
Pointerbender/loom
Concurrency permutation testing tool for Rust.
Pointerbender/futures-rs
Zero-cost asynchronous programming in Rust
Pointerbender/memmap2-rs
cross-platform Rust API for memory mapped IO
Pointerbender/fromo
Fast Robust Moments in R with Rcpp
Pointerbender/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Pointerbender/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Pointerbender/accurate
(More or less) accurate floating point algorithms
Pointerbender/silver
Definition of the Viper intermediate verification language.
Pointerbender/miri
An interpreter for Rust's mid-level intermediate representation
Pointerbender/rust
Empowering everyone to build reliable and efficient software.
Pointerbender/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.