anishathalye / synox
Rust library for program synthesis of string transformations from input-output examples 🔮
☆27Updated 2 months ago
Alternatives and similar repositories for synox:
Users that are interested in synox are comparing it to the libraries listed below
- Datalog + Egg = Good☆66Updated last year
- An encyclopedia of proofs☆59Updated 4 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆46Updated last year
- A CSS specification and reasoning engine☆94Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆63Updated 9 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- EGraphs in OCaml☆65Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆68Updated 11 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆30Updated last week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 3 weeks ago
- Benchmark repository of polyglot effect handler examples☆23Updated 4 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Datalog with equality for rust☆68Updated 5 months ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆23Updated 2 weeks ago
- The Zenon theorem prover☆15Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆63Updated last week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ☆40Updated 2 months ago