Creusot helps you prove your code is correct in an automated fashion.
LGPL-2.1 License
Alternative rust compiler (re-implementation)
Pssst!... see what Rust is doing behind the curtains 🕵🤫
Small exercises to get you used to reading and writing Rust code!
Hand curated advice and pointers for getting started with Rust
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...
This cli utility helps you harness the srtool docker image witout breaking a sweat.
Split text into multiple files by line
Research using Rust and Cargo to contribute value to Ethereum & Polkadot projects
A cryptographically verifiable code review system for the cargo (Rust) package manager.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Cranelift based backend for rustc
A rust library to generate sitemaps.
Structured, contextual, extensible, composable logging for Rust