Proof-systems Alternatives

Similar projects and alternatives to proof-systems

• esy

  8 840 9.2 Reason proof-systems VS esy

  package.json workflow for native development with Reason/OCaml

  

• drom

  2 178 4.5 OCaml proof-systems VS drom

  drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

  

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

  

• Spartan

  1 628 3.7 Rust proof-systems VS Spartan

  Spartan: High-speed zkSNARKs without trusted setup (by microsoft)

  

• cairo

  1 1,389 9.9 Rust proof-systems VS cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation. (by starkware-libs)

  

• ocaml-rs

  2 249 3.0 Rust proof-systems VS ocaml-rs

  OCaml extensions in Rust

• ocaml-interop

  2 0 0.0 Rust proof-systems VS ocaml-interop

  OCaml<->Rust FFI with an emphasis on safety.

  

• noname

  1 79 5.6 Rust proof-systems VS noname

  Noname: a programming language to write zkapps

  

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