Alternatives and similar repositories for CFPQ_Data

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

• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 2 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
  The collection of Context-Free Path Querying algorithms
  ☆14Updated 3 months ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 3 months ago
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated 3 weeks ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆23Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated last year
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 5 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆17Updated 6 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 8 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 2 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• caballa / covenant
  A Tool for Intersecting Context-Free Grammars
  ☆10Updated 7 years ago
• wenxiwang / neuroback
  ☆10Updated 7 months ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 4 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 10 years ago
• mandubian / codenets
  My own playground for PLP (Programming Language Processing) using DeepLearning techniques
  ☆19Updated 2 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last month
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• marcincuber / modal_logic
  Final Year Masters Project: modal logic solver tableaux
  ☆23Updated 3 years ago