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
- CHR2 to SQL conversion☆14Updated 9 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Real number computation software☆126Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- ☆23Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- program synthesis is possible☆41Updated 5 years ago
- An encyclopedia of proofs☆61Updated 9 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- LVC verified compiler☆57Updated 6 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 weeks ago
- Metamath verifier in Python☆40Updated 2 months ago
- VATA Tree Automata Library☆32Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 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
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- ☆19Updated 8 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago