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 10 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆71Updated 2 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last month
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- ☆24Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆19Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- program synthesis is possible☆41Updated 6 years ago
- An encyclopedia of proofs☆63Updated 10 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 8 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- LVC verified compiler☆58Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated this week
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Pedagogical first-order prover in Python☆76Updated 3 months ago