FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
The collection of Context-Free Path Querying algorithms
☆14Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for CFPQ_PyAlgo
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 2 months ago
- A tool for mining graph-based change patterns in Python code☆19Updated 6 months ago
- A framework for the large scale analysis of programming language usage.☆24Updated last year
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 6 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆13Updated 2 months ago
- Code for enumeration from a CFG☆18Updated last year
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated last month
- ☆20Updated 3 weeks ago
- ☆24Updated 2 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Updated 3 years ago
- A collection of resources on multi-way worst-case optimal join algorithms☆28Updated 4 months ago
- Benchmarking the Chase☆9Updated 7 years ago
- Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…☆27Updated 2 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- The SQL Standards Project aims to create consensus in SQL semantics☆43Updated last month
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆24Updated last year
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Language bindings for Maude☆19Updated 7 months ago
- A Datalog compiler and library☆19Updated 3 years ago
- egraph on top of sqlite☆12Updated 2 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆18Updated 3 months ago
- ☆57Updated last year
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Python bindings for the egg-smol rust library☆65Updated this week
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 9 months ago
- An automata learning library written in Python.☆49Updated 4 years ago