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:
- ☆10Updated 5 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 6 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- The collection of Context-Free Path Querying algorithms☆14Updated 3 weeks ago
- Flow graphs for Python☆26Updated 3 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated this week
- Factor Graph Grammars in Python☆13Updated 10 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- VATA Tree Automata Library☆33Updated last year
- Python term rewriting☆30Updated 12 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated last week
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 4 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Scripts for the creation of the Kaggle Torrent☆15Updated 4 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- ☆11Updated 10 months ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 8 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- ☆18Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago