Alternatives and similar repositories for reachability:

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

• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 8 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated last month
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆33Updated 9 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• lastland / WebSpec
  ☆18Updated 7 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• TikhonJelvis / imp
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆16Updated 9 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆89Updated 4 months ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆27Updated last year
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 3 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 6 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 months ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• DavePearce / FeatherweightRust
  Provides a reference implementation of FeatherweightRust in Java.
  ☆14Updated 3 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 8 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• Mtac2 / Mtac2
  ☆55Updated last week
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago