Pinned Repositories
cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
cca-rmm-acs
Tests for verifying compliance of RMM implementations
half-rs
Half-precision floating point types f16 and bf16 for Rust.
islet
An on-device confidential computing framework
islet-asset
An on-device confidential computing framework
kani
Kani Rust Verifier
klee
KLEE Symbolic Execution Engine
klee-uclibc
KLEE's version of uClibc
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
zpzigi754's Repositories
zpzigi754/cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
zpzigi754/cca-rmm-acs
Tests for verifying compliance of RMM implementations
zpzigi754/half-rs
Half-precision floating point types f16 and bf16 for Rust.
zpzigi754/islet
An on-device confidential computing framework
zpzigi754/islet-asset
An on-device confidential computing framework
zpzigi754/kani
Kani Rust Verifier
zpzigi754/klee
KLEE Symbolic Execution Engine
zpzigi754/klee-uclibc
KLEE's version of uClibc
zpzigi754/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
zpzigi754/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
zpzigi754/trusted-abstract-platform
zpzigi754/uclibc-ng
Embedded C Library (mirror)
zpzigi754/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
zpzigi754/verus
Verified Rust for low-level systems code
zpzigi754/vignat
[deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.
zpzigi754/vigor
Main repository of the Vigor NF verification project.