Clojure, implemented atop Rust . Contribute to Tko1/ClojureRS development by creating an account on GitHub. (more…)

A quick primer on Rust fundamentals for experienced programmers. (more…)

Kani is a Rust verification tool based on model checking. With Kani, you can ensure that broad classes of problems are absent from your Rust code by writing proof harnesses, which are broadly similar to tests (especially property tests). Kani is especiall... (more…)

Here's my advice, aside from the usual advice of "Just read The Book!": Read Amos Wegner's A half-hour to learn Rust Go through Richard Anaya's Tour of Rust Checkout the Rustlings repo and do all the exercises, referring to The Book when necessary Get... (more…)

Rust Front-end to GCC. Contribute to Rust-GCC/gccrs development by creating an account on GitHub. (more…)