Alternatives and similar repositories for CFPQ_Data

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

• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
  The collection of Context-Free Path Querying algorithms
  ☆14Updated last month
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 2 weeks ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 6 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 3 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 5 months ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 11 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆30Updated last month
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆18Updated 3 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆48Updated 10 years ago
• alviano / wasp
  ☆22Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 weeks ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year