Aneris Alternatives

Similar projects and alternatives to aneris

• proofs

  5 286 8.8 Coq aneris VS proofs

  My personal repository of formally verified mathematics.

• verdi-raft

  1 178 6.6 Coq aneris VS verdi-raft

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

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• math-comp

  1 554 9.1 Coq aneris VS math-comp

  Mathematical Components

  

• CompCert

  37 1,793 7.5 Coq aneris VS CompCert

  The CompCert formally-verified C compiler

  

• magmide

  22 807 6.6 Coq aneris VS magmide

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

  

• toychain

  1 110 0.0 Coq aneris VS toychain

  A minimalistic blockchain consensus implemented and verified in Coq

  

• UniMath

  2 918 9.4 Coq aneris VS UniMath

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

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives