Alternatives and similar repositories for awesome-sat-solvers

Users that are interested in awesome-sat-solvers are comparing it to the libraries listed below

• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated 2 weeks ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 3 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated 2 months ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆23Updated last week
• teorth / symmetric_project
  ☆93Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 5 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆151Updated last year
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆78Updated 2 years ago
• lean-forward / logical_verification_2025
  The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
  ☆57Updated 6 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆107Updated last week
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• kovach / etch
  ☆16Updated last year
• kiranandcode / cleango
  Bindings to libclingo for the lean4 prover and programming language!
  ☆20Updated 11 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 2 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆82Updated last week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆116Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆31Updated 4 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆200Updated 6 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• eprover / eprover
  ☆154Updated 2 weeks ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 6 years ago