☆21Apr 11, 2025Updated 10 months ago
Alternatives and similar repositories for duet
Users that are interested in duet are comparing it to the libraries listed below
Sorting:
- A SyGuS Solver☆29May 18, 2025Updated 9 months ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- ☆10Feb 9, 2019Updated 7 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 11 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20May 24, 2018Updated 7 years ago
- ☆48Nov 25, 2025Updated 3 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 2 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- A monadic library for symbolic evaluation☆73Jul 16, 2025Updated 7 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 7 years ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- ☆39Jan 24, 2026Updated last month
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆12Nov 22, 2024Updated last year
- ☆35Jun 21, 2020Updated 5 years ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- ☆39Dec 7, 2021Updated 4 years ago
- ☆56Apr 25, 2025Updated 10 months ago
- ☆11May 8, 2019Updated 6 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- Vector Symbolic Architecture library☆11Updated this week
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- A Variability-Aware Interpreter for Java Applications☆11Oct 13, 2020Updated 5 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year