anishathalye / synoxLinks
Rust library for program synthesis of string transformations from input-output examples 🔮
☆28Updated 10 months ago
Alternatives and similar repositories for synox
Users that are interested in synox are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Good☆66Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 3 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 3 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- ☆43Updated 2 weeks ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Updated 10 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆45Updated last month
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- The essence of Rust.☆128Updated 3 years ago
- ☆41Updated 6 years ago
- Datalog with equality for rust☆71Updated last week
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- ☆19Updated last year
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆98Updated last week
- EGraphs in OCaml☆77Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Python bindings for the Coq interactive proof assistant☆57Updated 3 years ago
- An encyclopedia of proofs☆64Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Rewrite Rule Inference Using Equality Saturation☆148Updated 5 months ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- Educational Proof Assistant for Type Theory☆80Updated last week
- Building group theory from scratch in Lean☆60Updated 4 years ago