Giters
yizhou7

yizhou7

Geek Repo

14

followers

10

following

22

stars

Home Page:yizhou7.github.io

Github PK Tool:Github PK Tool

Organizations
project-everest
secure-foundations
splatlab
teamnsrg

yizhou7's repositories

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

learning-lean

Language:LeanStargazers:0Issues:2Issues:0

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Language:LeanStargazers:0Issues:1Issues:0

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

veri_titan

Language:CStargazers:0Issues:4Issues:0

verus-mariposa-qi

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:0Issues:0Issues:0

yizhou7.github.io

Language:HTMLStargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0