Creusot Alternatives

Similar projects and alternatives to creusot based on common topics and language

• lean4

  53 3,739 9.9 Lean creusot VS lean4

  Lean 4 programming language and theorem prover

  

• dafny

  31 2,665 9.7 C# creusot VS dafny

  Dafny is a verification-aware programming language

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• cedar-spec

  3 66 9.1 Lean creusot VS cedar-spec

  Definitional implementation of Cedar language and utilities for DRT

  

• rust

  2,682 92,831 10.0 Rust creusot VS rust

  Empowering everyone to build reliable and efficient software.

  

• agda-stdlib

  4 556 9.3 Agda creusot VS agda-stdlib

  The Agda standard library

  

• creusot

  15 868 9.6 Rust creusot VS creusot

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

  

• CreuSAT

  8 581 6.9 Rust creusot VS CreuSAT

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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.