Rupicola Alternatives

Similar projects and alternatives to rupicola

• proofs

  5 285 8.9 Coq rupicola VS proofs

  My personal repository of formally verified mathematics.

• UniMath

  2 908 9.5 Coq rupicola 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.

  

• math-comp

  1 544 9.0 Coq rupicola VS math-comp

  Mathematical Components

  

• CompCert

  36 1,757 7.3 Coq rupicola VS CompCert

  The CompCert formally-verified C compiler

  

• magmide

  22 803 6.9 Coq rupicola VS magmide

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

  

• Coq-Equations

  1 208 6.6 Coq rupicola VS Coq-Equations

  A function definition package for Coq

• verdi-raft

  1 177 6.6 Coq rupicola VS verdi-raft

  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  

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