FormalLanguageConstrainedPathQuerying / CFPQ_DataLinks
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated 9 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:
- The collection of Context-Free Path Querying algorithms☆13Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Level-up your Hypothesis tests with CrossHair☆14Updated 2 weeks ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Updated 4 months ago
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last year
- ☆10Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Python term rewriting☆29Updated 12 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- ☆43Updated 7 years ago
- VATA Tree Automata Library☆32Updated 10 months ago
- ☆18Updated 3 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- The Zenon theorem prover☆15Updated last year
- ☆23Updated 11 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago