Alternatives and similar repositories for website

Users that are interested in website are comparing it to the libraries listed below

• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆83Updated 5 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• johnyf / tool_lists
  Links to tools by subject
  ☆387Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆626Updated 4 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Updated last month
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆406Updated last week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 5 months ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 9 months ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆510Updated last week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆27Updated 4 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆70Updated 5 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 3 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 5 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• PHPirates / travis-ci-latex-pdf
  Overview of different methods to build LaTeX with GitHub Actions or Travis-CI (idea by @jackolney but completely rewritten by @PHPirates …
  ☆109Updated 4 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 3 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆82Updated last week
• vprover / vampire
  The Vampire Theorem Prover
  ☆378Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 12 years ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆52Updated 2 months ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆142Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months ago