FormalLanguageConstrainedPathQuerying / CFPQ_Data
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated 6 months ago
Alternatives and similar repositories for CFPQ_Data:
Users that are interested in CFPQ_Data are comparing it to the libraries listed below
- The collection of Context-Free Path Querying algorithms☆13Updated last month
- ☆10Updated 4 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- 🔍 Code Search Tools & Experiments☆12Updated last month
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A tool for mining graph-based change patterns in Python code☆19Updated 10 months ago
- Flow graphs for Python☆25Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- The source code repository for the FactorBase system☆10Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆15Updated 6 years ago
- Visual graph rewriting platform☆10Updated last year
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 7 months ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- Code for enumeration from a CFG☆18Updated last year
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated 8 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆62Updated last year
- Automatic differentiation for NumPy☆42Updated 11 years ago
- A dataset of popular pages (taken from <dir.yahoo.com>) with manually marked up semantic blocks.☆15Updated 11 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Credici: Credal Inference for Causal Inference☆16Updated 5 months ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆16Updated last year
- ☆43Updated 7 years ago
- ☆17Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 5 months ago