bpinaud / PorgyLinks
Visual graph rewriting platform
☆10Updated last week
Alternatives and similar repositories for Porgy
Users that are interested in Porgy are comparing it to the libraries listed below
Sorting:
- Unified Maude model-checking tool☆11Updated 5 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Research into rewrite-rule completion in miniKanren☆9Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- ☆34Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Tutorial for the CHR system☆16Updated 4 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated last year
- Python term rewriting☆29Updated 12 years ago
- Deposited packages of the homalg project☆14Updated last month
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- ☆19Updated 8 years ago
- egraph <-> json☆14Updated 8 months ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- An extended typed Lambda Calculus☆21Updated 10 months ago