Python library for program synthesis and symbolic execution combining constraint solving and LLMs
☆38Feb 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for holey
Users that are interested in holey are comparing it to the libraries listed below
Sorting:
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated 2 weeks ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Course on Metaprogramming☆76Feb 5, 2026Updated last month
- Slog 1.0☆47Jun 11, 2024Updated last year
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- A monadic library for symbolic evaluation☆73Jul 16, 2025Updated 7 months ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Aug 11, 2025Updated 6 months ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated 9 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 3 months ago
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- ☆12Jun 7, 2024Updated last year
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year