sdiehl / pyrewriteLinks
Python term rewriting
☆29Updated 12 years ago
Alternatives and similar repositories for pyrewrite
Users that are interested in pyrewrite are comparing it to the libraries listed below
Sorting:
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- 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.☆69Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- Pedagogical first-order prover in Python☆76Updated last week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- An encyclopedia of proofs☆60Updated 7 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- The Cubicle model checker☆13Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Python bindings for egg☆49Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- EGraphs in OCaml☆65Updated last year
- An extended typed Lambda Calculus☆21Updated 10 months ago