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:
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆34Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- ☆19Updated 8 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- ☆22Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 9 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- a syntax directed editor☆17Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- A Datalog Framework for Python☆12Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- lean-related presentations☆16Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- EGraphs in OCaml☆65Updated last year
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Various Futhark benchmark programs☆42Updated 2 weeks ago
- An encyclopedia of proofs☆60Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Partial evaluation of Python code☆21Updated 2 years ago