## aneris

Program logic for developing and verifying distributed systems (by logsem)

## math-comp

Mathematical Components (by math-comp)

The number of

For example, an activity of

**mentions**indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.**Stars**- the number of stars that a project has on GitHub.**Growth**- month over month growth in stars.**Activity**is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.For example, an activity of

**9.0**indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.## aneris

Posts with mentions or

**reviews of aneris**. We have used some of these posts to build our list of alternatives and similar projects.## math-comp

Posts with mentions or

**reviews of math-comp**. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-18.## What are some alternatives?

When comparing aneris and math-comp you can also consider the following projects:

**verdi-raft**
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

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

**proofs**
- My personal repository of formally verified mathematics.

**analysis**
- Mathematical Components compliant Analysis Library

**toychain**
- A minimalistic blockchain consensus implemented and verified in Coq

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