sdiehl / pyrewriteLinks
Python term rewriting
☆30Updated 12 years ago
Alternatives and similar repositories for pyrewrite
Users that are interested in pyrewrite are comparing it to the libraries listed below
Sorting:
- ☆34Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆86Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last month
- ☆19Updated 8 years ago
- An attribute grammar-based programming language for composable language extensions☆65Updated last week
- Metamath verifier in Python☆39Updated 4 months ago
- ☆24Updated 2 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- VATA Tree Automata Library☆33Updated last year
- LVC verified compiler☆58Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 3 weeks ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆32Updated 4 years ago
- Real number computation software☆127Updated 3 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago