Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Learn Rust real good.
Collecting examples and information to help design a memory model for Rust.
Some experimental macros for GNOME integration
Non-lexical lifetimes RFC.
Modeling NLL and the Rust borrowck
Forked from jbclements/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
2,806 contributions in the last year
Created a pull request in rust-lang/rust that received 45 comments
This is an attempt to speed up region solving by replacing the current iterative dataflow with a SCC computation. The idea is to detect cycles (SCC…