FormalLanguageConstrainedPathQuerying / CFPQ_DataLinks
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
☆10Updated 8 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
- The collection of Context-Free Path Querying algorithms☆13Updated 3 weeks ago
- ☆10Updated 4 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- Level-up your Hypothesis tests with CrossHair☆13Updated last week
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Updated 3 months ago
- Benchmark Suite for Interpretable Rule Learning☆12Updated 4 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Flow graphs for Python☆26Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆63Updated last year
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- General-purpose program synthesiser☆45Updated 7 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 weeks ago
- The semantics of Java in K☆18Updated 3 years ago
- JaTyC: a typestate checker for Java☆17Updated 4 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Code for enumeration from a CFG☆18Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆43Updated 7 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- "proving-contest"-backends for several theorem provers☆13Updated 7 months ago