creusot

Creusot helps you prove your code is correct in an automated fashion.

LGPL-2.1 License

Downloads

5.2K

Stars

981

View Code on GitHub

Ecosystems: Rust

Bot releases are hidden (Show)

creusot - v0.2 Latest Release

Published by xldenis almost 2 years ago

Package Rankings

Related Projects

rust-digger

20 Jun 2023 16

rustc_codegen_cranelift

Cranelift based backend for rustc

22 Jun 2018 1,593

sitewriter

A rust library to generate sitemaps.

22 Nov 2020 25

RustTest

Research using Rust and Cargo to contribute value to Ethereum & Polkadot projects

10 Feb 2015 4

rustlings

Small exercises to get you used to reading and writing Rust code!

15 Sep 2015 51,473

rhb-specs

18 Nov 2021 5

mrustc

Alternative rust compiler (re-implementation)

28 Nov 2014 2,151

slog

Structured, contextual, extensible, composable logging for Rust

12 Jun 2016 1,571

rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070

cargo-crev

A cryptographically verifiable code review system for the cargo (Rust) package manager.

22 Aug 2018 2,034

coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

28 Dec 2022 124

cargo-inspect

Pssst!... see what Rust is doing behind the curtains 🕵🤫

08 Nov 2018 381

zsplit

Split text into multiple files by line

30 Nov 2021 2

concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21

srtool-cli

This cli utility helps you harness the srtool docker image witout breaking a sweat.

07 Jun 2021 19