Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
"logic" Awesome Lists
awesome-prolog
Curated list of Prolog packages and resources
awesome list logic programming prolog
499 stars
35 forks
113 projects
Last updated: 12 Oct 2024
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.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover
301 stars
11 forks
613 projects
Last updated: 24 Nov 2024
awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
automate-reasoning awesome awesome-list deductive-reasoning formal-methods logic optimization sat sat-solver smt
2 stars
0 forks
96 projects
Last updated: 08 Nov 2024