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
- 🔍 Code Search Tools & Experiments☆12Updated last month
- ☆10Updated 5 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 6 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 6 years ago
- The collection of Context-Free Path Querying algorithms☆14Updated last month
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- VATA Tree Automata Library☆34Updated this week
- Incremental Learning Event Definitions☆15Updated 10 years ago
- The source code repository for the FactorBase system☆10Updated last year
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 7 years ago
- Forever incomplete suite of tools for an orthographic/grammatical checker☆31Updated 5 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Flow graphs for Python☆27Updated 3 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 4 years ago
- Visual graph rewriting platform☆10Updated 8 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Updated 9 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Logic Programming in Python☆31Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago
- deep learning for math☆29Updated 6 years ago
- The semantics of Java in K☆19Updated 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