Aneris Alternatives
Similar projects and alternatives to aneris
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
-
-
-
UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better aneris alternative or higher similarity.
aneris discussion
aneris reviews and mentions
Posts with mentions or reviews of aneris.
We have used some of these posts to build our list of alternatives
and similar projects.
Stats
Basic aneris repo stats
1
37
2.2
about 1 month ago
logsem/aneris is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of aneris is Rocq Prover.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com