anishathalye / synox
Rust library for program synthesis of string transformations from input-output examples 🔮
☆26Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for synox
- Datalog + Egg = Good☆65Updated last year
- The Brown Benchmark for Table Types (B2T2)☆62Updated 4 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆45Updated last year
- The essence of Rust.☆123Updated 2 years ago
- ☆21Updated 2 years ago
- ☆10Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆30Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- egraphs-good website☆15Updated last month
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- An encyclopedia of proofs☆57Updated this week
- ☆22Updated 5 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- library learning w egraphs☆17Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 5 months ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Fungi: Typed incremental computation with names☆66Updated 5 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- Synless is a language-agnostic tree editor.☆20Updated this week
- ☆75Updated 3 weeks ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆113Updated 3 months ago
- Session Type EDSL for Rust☆101Updated 2 years ago