aneris

Program logic for developing and verifying distributed systems (by logsem)
Review Distributed Systems separation-logic coq Iris
Source Code
Suggest alternative
Edit details
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured

Aneris Alternatives

Similar projects and alternatives to aneris

logsem
aneris

  1. math-comp

    2 aneris VS math-comp

    Mathematical Components

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. proofs

    5 aneris VS proofs

    My personal repository of formally verified mathematics.

  4. toychain

    1 aneris VS toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  5. verdi-raft

    1 aneris VS verdi-raft

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

  6. UniMath

    2 aneris VS UniMath

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

  7. CompCert

    40 aneris VS CompCert

    The CompCert formally-verified C compiler

  8. magmide

    22 aneris VS magmide

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

  9. SaaSHub

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

    SaaSHub logo
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.
Suggest an alternative to aneris

aneris discussion

Log in or Post with

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
34
8.4
11 days 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 Coq.

Popular Comparisons

  1. aneris VS math-comp
  2. aneris VS proofs
  3. aneris VS toychain
  4. aneris VS verdi-raft
  5. aneris VS UniMath
  6. aneris VS CompCert
  7. aneris VS magmide

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Coq is
the 87th most popular programming language
based on number of references?

Loading...