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 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- An encyclopedia of proofs☆62Updated 8 months ago
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- Metamath verifier in Python☆40Updated last month
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 10 months ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated this week
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆19Updated 8 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- program synthesis is possible☆41Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Real number computation software☆126Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- LVC verified compiler☆57Updated 6 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- ☆23Updated 2 years ago
- ☆58Updated 11 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 11 months ago