Alternatives and similar repositories for website

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

• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 3 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆493Updated last week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆67Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆80Updated 3 months ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• 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
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆69Updated 3 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆153Updated last week
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆193Updated 3 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆160Updated last week
• Angtrim / alloy-latex-highlighting
  Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style)
  ☆13Updated 6 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆36Updated 2 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last year
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆45Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,117Updated last year
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated 2 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆211Updated last month
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆380Updated last year