agda-stdlib VS agda-life

Compare agda-stdlib vs agda-life and see what are their differences.

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
agda-stdlib agda-life
2 1
441 0
2.0% -
8.8 0.0
7 days ago 6 months ago
Agda Agda
GNU General Public License v3.0 or later BSD 3-clause "New" or "Revised" License
The number 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.

agda-stdlib

Posts with mentions or reviews of agda-stdlib. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-04-27.

agda-life

Posts with mentions or reviews of agda-life. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-11.

What are some alternatives?

When comparing agda-stdlib and agda-life you can also consider the following projects:

cryptominisat - An advanced SAT solver

game-of-life - Conway's Game of Life - Cellular Automata

game-of-life - Conway's Game of Life

l4v - seL4 specification and proofs

template-agda - An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

Agda - Agda formalisation of the Introduction to Homotopy Type Theory