sdiehl / pyrewrite
Python term rewriting
☆27Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for pyrewrite
- An encyclopedia of proofs☆57Updated 2 weeks ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- ☆21Updated 2 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆13Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- lean-related presentations☆16Updated 10 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆20Updated 9 months ago
- VATA Tree Automata Library☆32Updated 3 months ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- ☆19Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 4 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- ☆29Updated 9 years ago
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago