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 last month
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆15Updated last month
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated this week
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 8 months ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated 10 months ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• piscisaureus / owl2java
  Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API
  ☆17Updated 14 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 5 months ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• klipto / Uncertainty
  Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…
  ☆33Updated 8 years ago
• alviano / wasp
  ☆20Updated 3 months ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• kzn / fsa
  Deterministic Acyclic Finite State Automaton implementation for morphological analysis
  ☆18Updated 4 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆79Updated 4 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago