anishathalye / synox
Rust library for program synthesis of string transformations from input-output examples 🔮
☆26Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for synox
- Datalog + Egg = Good☆65Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆30Updated last year
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- ☆21Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- An encyclopedia of proofs☆57Updated last week
- The essence of Rust.☆123Updated 2 years ago
- ☆10Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- EGraphs in OCaml☆60Updated 10 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Calculus of Constructions Implementation☆14Updated 4 years ago
- Datalog with equality for rust☆55Updated 3 weeks ago
- ☆13Updated 3 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- ☆33Updated 7 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- Programmable, human-readable inlining of Python code☆29Updated last year
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆27Updated 9 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago