Math-comp Alternatives

Similar projects and alternatives to math-comp

• mathlib

  36 1,625 8.8 Lean math-comp VS mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  

• regexp-Brzozowski

  1 12 3.9 Coq math-comp VS regexp-Brzozowski

  Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]

  

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

  

• analysis

  1 180 9.4 Coq math-comp VS analysis

  Mathematical Components compliant Analysis Library (by math-comp)

  

• UniMath

  2 910 9.5 Coq math-comp VS UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  

• coq-simple-io

  2 28 6.8 Coq math-comp VS coq-simple-io

  IO for Gallina

• coq-library-undecidability

  2 98 6.4 Coq math-comp VS coq-library-undecidability

  A library of mechanised undecidability proofs in the Coq proof assistant.

  

• aneris

  1 31 9.0 Coq math-comp VS aneris

  Program logic for developing and verifying distributed systems

  

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

  

• rupicola

  3 48 7.7 Coq math-comp VS rupicola

  Gallina to Bedrock2 compilation toolkit

  

• fourcolor

  2 150 4.6 Coq math-comp VS fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  

• CompCert

  36 1,763 7.2 Coq math-comp VS CompCert

  The CompCert formally-verified C compiler