Alternatives and similar repositories for reachability:

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

• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 2 weeks ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated last month
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆35Updated 8 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• Kraks / MyPLZoo
  Implementations of various toy programming languages
  ☆12Updated 6 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago