🐈
A NewBie in PL & Formal Verification | Used to be a Math Enthusiast
-
Kyoto University
- Japan
Highlights
- Pro
Pinned Loading
-
-
minirust
minirust PublicForked from minirust/minirust
A precise specification for "Rust lite / MIR plus"
Rust
-
miri
miri PublicForked from rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.