SaaSHub helps you find the best software and product alternatives Learn more →
Top 10 theorem-prover Open-Source Projects
-
Project mention: Kind: A lambda-calculus based pure programming language | news.ycombinator.com | 2023-11-27
-
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
Project mention: Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI | news.ycombinator.com | 2023-11-06
There is a collision in names:
Cicada, this CI tool, uses a DSL (domain specific language) to write configuration, and this DSL is referred to as "Cicada language", and blasted in marketing copy as a "real programming language" on https://cicada.sh/
However, this is a completely different language from Cicada language, a programming language and theorem prover hosted at https://cicada-lang.org/ and https://github.com/cicada-lang/cicada
This name collision is very confusing, and I wonder why Cicada the CI tool didn't just stick to python, since it is also a "real programming language"
-
Project mention: First order logic theorem prover in pure Python | news.ycombinator.com | 2023-08-31
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
theorem-prover related posts
- Better Together: Unifying Datalog and Equality Saturation
- Anders CCHM/HTS Theorem Prover
- Show HN: Anders CCHM/HTS Theorem Prover
- A Prolog like syntax for egg
- Awesome-Rust-Formalized-Reasoning
-
A note from our sponsor - SaaSHub
www.saashub.com | 18 Apr 2024
Index
What are some of the best open-source theorem-prover projects? This list will help you:
Project | Stars | |
---|---|---|
1 | Kind | 3,427 |
2 | awesome-rust-formalized-reasoning | 261 |
3 | toysolver | 151 |
4 | cicada | 93 |
5 | pyprover | 87 |
6 | egglog0 | 65 |
7 | anders | 17 |
8 | budge | 10 |
9 | supervisionary | 3 |
10 | supervisionary | 0 |