Fiat Alternatives

Similar projects and alternatives to fiat

• magmide

  22 804 6.9 Coq fiat VS magmide

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

  

• tectonic

  22 3,750 9.2 C fiat VS tectonic

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

  

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

  

• prusti-dev

  23 1,460 8.8 Rust fiat VS prusti-dev

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

  

• Rudra

  11 1,294 5.5 Rust fiat VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• electrolysis

  2 322 10.0 Lean fiat VS electrolysis

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

• line-combination-proofs

  1 0 0.0 TeX fiat VS line-combination-proofs

• rust-verification-tools

  2 241 3.1 Rust fiat VS rust-verification-tools

  Discontinued RVT is a collection of tools/libraries to support both static and dynamic verification of Rust 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.