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 7 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 5 months ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 10 months ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated 3 weeks ago
• fredfeng / Trinity
  ☆24Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 4 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 8 months ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆48Updated 2 years ago
• nandor / mkcheck
  Incremental Build Verification
  ☆13Updated 11 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆56Updated last month
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆64Updated last week
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• JetBrains / reading-club
  Open paper reading club @ JetBrains
  ☆37Updated 5 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• owl-toolkit / owl
  ☆16Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆112Updated 10 months ago
• SparseLinearAlgebra / spla
  An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations
  ☆26Updated 2 weeks ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆23Updated 6 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated this week
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆30Updated 5 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆72Updated last week
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆26Updated last year