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 last year
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last week
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 2 months ago
• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
  The collection of Context-Free Path Querying algorithms
  ☆14Updated 2 months ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆66Updated last year
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 2 months ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 4 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 9 years ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 2 years ago
• rohanmukh / nsg
  ☆20Updated 3 years ago
• neulab / tranX-plugin
  A plugin for code generation in PyCharm/IntelliJ using tranX
  ☆36Updated 3 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• microsoft / Search4Code
  Web queries dataset for code search
  ☆32Updated 2 years ago
• marcincuber / modal_logic
  Final Year Masters Project: modal logic solver tableaux
  ☆23Updated 3 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆23Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆16Updated 5 months ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 9 months ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago