FormalLanguageConstrainedPathQuerying / CFPQ_Data
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for CFPQ_Data
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- The collection of Context-Free Path Querying algorithms☆14Updated 5 months ago
- ☆10Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆11Updated this week
- ☆10Updated 4 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Deep learning-based bug detector for IntelliJ☆6Updated 4 years ago
- A tool for mining graph-based change patterns in Python code☆19Updated 5 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated this week
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 4 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆22Updated 5 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆61Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Code for enumeration from a CFG☆18Updated last year
- CD4Py: Code De-Duplication for Python☆22Updated 3 years ago
- Synthesized models for PHOG to make the results reproducible by the research community☆10Updated 4 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 6 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- ☆16Updated 4 months ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆30Updated last year