🐧
thonk
Highlights
- Pro
Block or Report
Block or report yizhou7
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
verus-mariposa-qi Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedJan 26, 2024 -
Komodo Public
Forked from microsoft/KomodoFormally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
C Other UpdatedJan 26, 2023 -
rust-analyzer Public
Forked from verus-lang/verus-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedDec 16, 2022 -
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedSep 30, 2021 -
-
logical_verification_2020 Public
Forked from blanchette/logical_verification_2020Companion files for Logical Verification 2020–2021 at VU Amsterdam
Lean UpdatedOct 14, 2020 -