Alternatives and similar repositories for CFPQ_Data:

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

• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
  The collection of Context-Free Path Querying algorithms
  ☆13Updated this week
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated 2 weeks ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 6 months ago
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆28Updated 2 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• alviano / wasp
  ☆20Updated 4 months ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 9 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 2 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆13Updated this week
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 6 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 4 months ago