Alternatives and similar repositories for styleguide

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

• mangpo / greenthumb
  ☆89Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated last month
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated 3 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 11 months ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 6 months ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 6 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆96Updated 3 weeks ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆12Updated 8 years ago
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆80Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated this week
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• mht208 / homebrew-formal
  Homebrew formulae for formal methods
  ☆37Updated 2 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆105Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 2 weeks ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated this week
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 2 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated this week
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆53Updated 6 months ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago