Doubly-generic Alternatives

Similar projects and alternatives to doubly-generic based on common topics and language

• CompCert

  36 1,761 7.3 Coq doubly-generic VS CompCert

  The CompCert formally-verified C compiler

  

• UniMath

  2 908 9.5 Coq doubly-generic VS UniMath

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

  

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

  

• magmide

  22 804 6.9 Coq doubly-generic VS magmide

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

  

• math-comp

  1 544 9.0 Coq doubly-generic VS math-comp

  Mathematical Components

  

• proofs

  5 285 8.9 Coq doubly-generic VS proofs

  My personal repository of formally verified mathematics.

• jasmin

  1 221 9.4 Coq doubly-generic VS jasmin

  Language for high-assurance and high-speed cryptography (by jasmin-lang)

  

• Coq-Equations

  1 208 6.6 Coq doubly-generic VS Coq-Equations

  A function definition package for Coq

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