Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
☆17Feb 26, 2025Updated last year
Alternatives and similar repositories for paresy
Users that are interested in paresy are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- ☆17Apr 21, 2025Updated 10 months ago
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 6 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆25Jan 17, 2026Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 3 weeks ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Aug 5, 2024Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Oct 6, 2025Updated 5 months ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- A framework for the large scale analysis of programming language usage.☆30Jun 27, 2023Updated 2 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 9 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Qt/Qml application using Google speech-to-text API to make voice commands☆11Jan 19, 2020Updated 6 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- The Process Watchdog is a Linux-based utility designed to start, monitor and manage processes specified in a configuration file. It ensur…☆11Dec 27, 2025Updated 2 months ago
- ☆35Jun 21, 2020Updated 5 years ago