namin / holeyLinks
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
☆34Updated 2 weeks ago
Alternatives and similar repositories for holey
Users that are interested in holey are comparing it to the libraries listed below
Sorting:
- Slog 1.0☆46Updated last year
- Bindings to libclingo for the lean4 prover and programming language!☆20Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆15Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- ☆119Updated this week
- ☆24Updated last week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆39Updated 3 weeks ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- Reference compiler for c0☆38Updated 2 weeks ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Updated 9 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 10 months ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- Language based on Rewriting Logic☆154Updated this week
- Course on Metaprogramming☆74Updated 5 months ago
- ☆16Updated 2 years ago
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- WIP collections library for Lean 4☆32Updated 7 months ago
- A Lean 4 package for heavy numerical computations☆19Updated 3 years ago
- How to read Lean☆22Updated 10 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆16Updated 8 months ago
- Educational Proof Assistant for Type Theory☆81Updated 3 weeks ago
- Claude skills for Lean 4 theorem proving☆58Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆15Updated 2 years ago
- egraph on top of sqlite☆12Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 3 months ago