sampsyo / minisynthLinks
program synthesis is possible
☆41Updated 5 years ago
Alternatives and similar repositories for minisynth
Users that are interested in minisynth are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- LibPoly is a C library for manipulating polynomials☆50Updated last month
- Python bindings for egg☆49Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- embedding MLIR in LEAN☆47Updated 11 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆49Updated this week
- ☆88Updated 2 years ago
- ☆16Updated 3 years ago
- Python bindings for the egg-smol rust library☆76Updated last week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Rewrite Rule Inference Using Equality Saturation☆127Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- rules for writing and typesetting☆24Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- benchmarking e-graph extraction☆41Updated 2 weeks ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 5 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A translation validation framework for MLIR☆85Updated 2 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- Python term rewriting☆29Updated 12 years ago