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