Alternatives and similar repositories for website

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

• 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
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆38Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆378Updated last year
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆67Updated 11 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• ths-rwth / carl
  ☆30Updated 5 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆119Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆79Updated 2 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆273Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆277Updated last month
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆44Updated 5 months ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• harshjv / travis-ci-latex-pdf
  Travis CI and deployment service to build PDF from LaTeX document.
  ☆170Updated 4 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆491Updated last week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last year
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆437Updated 3 weeks ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆479Updated 2 weeks ago
• math-comp / math-comp
  Mathematical Components
  ☆654Updated 2 weeks ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated 3 months ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆474Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆389Updated 10 months ago
• rocq-archive / automata
  Beginning of formal language theory
  ☆23Updated 5 years ago
• b-mehta / unit-fractions
  ☆16Updated last year