Line-combination-proofs Alternatives

Similar projects and alternatives to line-combination-proofs

• magmide

  22 804 6.9 Coq line-combination-proofs VS magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  

• prusti-dev

  23 1,460 8.8 Rust line-combination-proofs VS prusti-dev

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

  

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

  

• tectonic

  22 3,737 9.2 C line-combination-proofs VS tectonic

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  

• Rudra

  11 1,293 5.5 Rust line-combination-proofs VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• electrolysis

  2 322 10.0 Lean line-combination-proofs VS electrolysis

  Simple verification of Rust programs via functional purification in Lean 2(!)

• rust-verification-tools

  2 241 3.1 Rust line-combination-proofs VS rust-verification-tools

  Discontinued RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  

• fiat

  1 145 6.6 Coq line-combination-proofs VS fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

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