Rust Proof Projects

• creusot

  5 1,038 9.6 Rust

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

  

Project mention: Release Creusot 0.1 · creusot-rs/creusot | news.ycombinator.com | 2024-05-20

• CreuSAT

  8 591 6.9 Rust

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Rust Proof related posts

• Release Creusot 0.1 · creusot-rs/creusot

  1 project | news.ycombinator.com | 20 May 2024

• Creusot, a deductive verifier for Rust code

  1 project | news.ycombinator.com | 29 Feb 2024

• Rewrite the VP9 codec library in Rust

  5 projects | news.ycombinator.com | 28 Feb 2024

• Creusot, a deductive verifier for Rust code

  1 project | news.ycombinator.com | 25 Feb 2024

• Conditioonal Compilation across Crates?

  1 project | /r/rust | 4 Jul 2023

• Kani 0.29.0 has been released!

  2 projects | /r/rust | 31 May 2023

• Whiley, a language with statically checked pre and post conditions, releases its 0.6.1 version and portions implemented in Rust

  1 project | /r/rust | 1 Jul 2022
• A note from our sponsor - InfluxDB
  www.influxdata.com | 3 Jun 2024

  Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Rust projects with our weekly report!