idris2-pack-db
By stefan-hoeck
| symmetric_project | idris2-pack-db | |
|---|---|---|
| 1 | 1 | |
| 78 | 14 | |
| - | - | |
| 9.1 | 9.5 | |
| 6 months ago | 1 day ago | |
| Lean | ||
| - | 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.
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.
symmetric_project
Posts with mentions or reviews of symmetric_project.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-10-27.
-
Lean4 helped Terence Tao discover a small bug in his recent paper
You can even follow his progress on GitHub here:
https://github.com/teorth/symmetric_project/
idris2-pack-db
Posts with mentions or reviews of idris2-pack-db.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-10-27.
-
Lean4 helped Terence Tao discover a small bug in his recent paper
There's a list of packages here: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...
What are some alternatives?
When comparing symmetric_project and idris2-pack-db you can also consider the following projects:
cedar-spec - Definitional implementation of Cedar language and utilities for DRT
CodeContracts - Source code for the CodeContracts tools for .NET
dafny - Dafny is a verification-aware programming language
CoqGym - A Learning Environment for Theorem Proving with the Coq proof assistant
Idris2 - A purely functional programming language with first class types
FStar - A Proof-oriented Programming Language
z3 - The Z3 Theorem Prover
lean4 - Lean 4 programming language and theorem prover
symmetric_project vs cedar-spec
idris2-pack-db vs CodeContracts
symmetric_project vs dafny
idris2-pack-db vs CoqGym
symmetric_project vs Idris2
idris2-pack-db vs cedar-spec
symmetric_project vs CodeContracts
symmetric_project vs CoqGym
symmetric_project vs FStar
symmetric_project vs z3
symmetric_project vs lean4