anishathalye / synox
Rust library for program synthesis of string transformations from input-output examples 🔮
☆27Updated 3 months ago
Alternatives and similar repositories for synox
Users that are interested in synox are comparing it to the libraries listed below
Sorting:
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months 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☆48Updated last year
- The essence of Rust.☆125Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 3 months ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 5 years ago
- ☆90Updated 3 years ago
- ☆24Updated 6 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- ☆11Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- EGraphs in OCaml☆65Updated last year
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆19Updated 2 weeks ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Transport-polymorphic, asynchronous session types for Rust☆62Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Macros have types!☆129Updated 2 years ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Datalog with equality for rust☆68Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Hoare Type Theory☆75Updated last week