Hax Alternatives

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

• hacspec

  3 235 5.1 Coq hax VS hacspec

  Discontinued Please see https://github.com/hacspec/hax

  

• bertie

  1 110 9.3 F* hax VS bertie

  Bertie TLS 1.3 Implementation

  

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

  

• hacspec

  1 46 - Python hax VS hacspec

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

  

• comby

  3 2,265 0.0 OCaml hax VS comby

  A code rewrite tool for structural search and replace that supports ~every language.

  

• prusti-dev

  23 1,466 8.5 Rust hax VS prusti-dev

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

  

• creusot

  4 972 9.6 Rust hax VS creusot

  Creusot helps you prove your code is correct in an automated fashion.

  

• creusot

  15 868 9.6 Rust hax 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.