Hacspec Alternatives

Similar projects and alternatives to hacspec

• ConCert

  1 107 8.0 Coq hacspec VS ConCert

  A framework for smart contract verification in Coq

  

• creusot

  15 868 9.6 Rust hacspec 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)

  

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

  

• rust-crypto

  2 1,357 0.0 Rust hacspec VS rust-crypto

  A (mostly) pure-Rust implementation of various cryptographic algorithms.

• proofs

  5 285 8.9 Coq hacspec VS proofs

  My personal repository of formally verified mathematics.

• hax

  3 124 9.9 OCaml hacspec VS hax

  A Rust verification tool

  

• zips

  7 264 9.2 HTML hacspec VS zips

  Zcash Improvement Proposals

  

• silveroak

  3 97 7.3 Coq hacspec VS silveroak

  Discontinued Formal specification and verification of hardware, especially for security and privacy.

  

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

  

• bertie

  1 109 8.7 F* hacspec VS bertie

  Bertie TLS 1.3 Implementation

  

• hacspec

  1 46 - Python hacspec VS hacspec

  Please check out https://github.com/hacspec/hacspec for more information on hacspec (by HACS-workshop)

  

• magmide

  22 804 6.9 Coq hacspec VS magmide

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