FormalLanguageConstrainedPathQuerying / CFPQ_DataLinks
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated 10 months ago
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 last year
- 🔍 Code Search Tools & Experiments☆12Updated last week
- ☆10Updated 4 years ago
- The collection of Context-Free Path Querying algorithms☆13Updated 2 months ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- The source code repository for the FactorBase system☆10Updated last year
- ☆18Updated 3 years ago
- Visual graph rewriting platform☆10Updated last month
- ☆9Updated 6 months ago
- Flow graphs for Python☆26Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- ☆43Updated 2 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 10 months ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- Code for enumeration from a CFG☆18Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Updated 12 years ago
- deep learning for math☆30Updated 6 years ago
- Deep learning-based bug detector for IntelliJ☆6Updated 5 years ago