Alternatives and similar repositories for CFPQ_PyAlgo

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

• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 8 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 5 months ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆16Updated 3 months ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• YaccConstructor / articles
  Papers sources, pictures, presentations, and other stuff
  ☆22Updated last week
• owl-toolkit / owl
  ☆18Updated last year
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 4 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• alviano / wasp
  ☆21Updated 7 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 5 months ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆26Updated last year
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 5 months ago
• alexanderskulikov / circuit_improvement
  ☆6Updated 3 weeks ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆20Updated 5 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 10 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 4 months ago
• fredfeng / Trinity
  ☆24Updated last month
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 3 months ago