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