FormalLanguageConstrainedPathQuerying / CFPQ_DataLinks
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated last year
Alternatives and similar repositories for CFPQ_Data
Users that are interested in CFPQ_Data are comparing it to the libraries listed below
Sorting:
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- ☆10Updated 5 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- Flow graphs for Python☆26Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- The collection of Context-Free Path Querying algorithms☆14Updated last week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Visual graph rewriting platform☆10Updated 3 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆23Updated 2 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Factor Graph Grammars in Python☆13Updated 9 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated last month
- Python term rewriting☆30Updated 12 years ago
- VATA Tree Automata Library☆32Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- ☆10Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- The source code repository for the FactorBase system☆10Updated last year
- deep learning for math☆29Updated 6 years ago
- Scripts for the creation of the Kaggle Torrent☆14Updated 4 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 6 months ago
- A tool for mining graph-based change patterns in Python code☆19Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆52Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago