Prop v0.42 released! Don't panic! The answer is... support for dependent types :)

• creusot

  15 868 9.6 Rust

  Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)

  

Wow that sounds really cool! I'm not an expert but does that mean that one day you could implement dependend types or refinement types in Rust as a crate ? I currently only know of tools like: Flux Creusot Kani Prusti

• kani

  47 1,905 9.5 Rust

  Kani Rust Verifier

  

Wow that sounds really cool! I'm not an expert but does that mean that one day you could implement dependend types or refinement types in Rust as a crate ? I currently only know of tools like: Flux Creusot Kani Prusti

• 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.

  

• prusti-dev

  23 1,467 8.5 Rust

  A static verifier for Rust, based on the Viper verification infrastructure.

  

Wow that sounds really cool! I'm not an expert but does that mean that one day you could implement dependend types or refinement types in Rust as a crate ? I currently only know of tools like: Flux Creusot Kani Prusti

• prop

  6 58 8.0 Rust

  Propositional logic with types in Rust

  

I opened up this issue on the Prop project for further discussion.

• FStar

  42 2,570 9.9 F*

  A Proof-oriented Programming Language

  

So kind of like F*? https://www.fstar-lang.org/

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project