This is a position paper that I originally circulated inside the firmware
community at X. I’ve gotten requests for a public link, so I’ve cleaned it up
and posted it here. This is, obviously, my personal opinion. Please read the
whole thing before sending… Read more
Similar
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project. (more…)
Read more »
I read Sean Leffler's article on Rust's type system being turing complete and that's when I lost my weekends for the next few months. (more…)
Read more »
Cheap configuration language. Contribute to tweag/nickel development by creating an account on GitHub. (more…)
Read more »
Emulator of the IBM PC running DOS written in Rust - Lichtso/DOS-Emulator... (more…)
Read more »
Tracking issue for rust-lang/rfcs#2000 Updates: 2 May 2019: #44580 (comment) 19 Oct 2019: #44580 (comment) 2 Jan 2020: #44580 (comment) 22 Jul 2020: #44580 (comment) If you want to help out, take a... (more…)
Read more »