zpzigi754
Follow
-
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedNov 1, 2024 -
islet Public
Forked from islet-project/isletAn on-device confidential computing framework
Rust Apache License 2.0 UpdatedOct 31, 2024 -
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedOct 4, 2024 -
cca-rmm-acs Public
Forked from islet-project/cca-rmm-acsTests for verifying compliance of RMM implementations
C Other UpdatedJun 25, 2024 -
islet-asset Public
Forked from islet-project/assetsAn on-device confidential computing framework
C++ UpdatedApr 4, 2024 -
-
cargo-geiger Public
Forked from bitboom/cargo-geigerDetects usage of unsafe Rust in a Rust crate and its dependencies.
Rust UpdatedMar 28, 2024 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedMar 26, 2024 -
half-rs Public
Forked from starkat99/half-rsHalf-precision floating point types f16 and bf16 for Rust.
Rust Other UpdatedMar 6, 2024 -
vigor Public
Forked from vigor-nf/vigorMain repository of the Vigor NF verification project.
C MIT License UpdatedFeb 28, 2024 -
vignat Public
Forked from vignat/vignat[deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.
C MIT License UpdatedFeb 24, 2024 -
uclibc-ng Public
Forked from wbx-github/uclibc-ngEmbedded C Library (mirror)
C GNU Lesser General Public License v2.1 UpdatedDec 18, 2023 -
klee-uclibc Public
Forked from klee/klee-uclibcKLEE's version of uClibc
C GNU Lesser General Public License v2.1 UpdatedOct 29, 2023 -
uclid Public
Forked from uclid-org/uclidUCLID5: formal modeling, verification, and synthesis of computational systems
Scala Other UpdatedFeb 3, 2023 -
trusted-abstract-platform Public
Forked from uclid-org/trusted-abstract-platformMakefile BSD 3-Clause "New" or "Revised" License UpdatedFeb 1, 2023 -
rust-verification-tools Public
Forked from project-oak/rust-verification-toolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust Apache License 2.0 UpdatedFeb 12, 2022