bpinaud / PorgyLinks
Visual graph rewriting platform
☆10Updated 7 months ago
Alternatives and similar repositories for Porgy
Users that are interested in Porgy are comparing it to the libraries listed below
Sorting:
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 4 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Python term rewriting☆30Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Unified Maude model-checking tool☆12Updated last week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- egraph <-> json☆15Updated last week
- Normalization-by-evaluation in miniKanren☆25Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- ☆24Updated 2 years ago
- Summer Scheming!!!!!!☆11Updated 5 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 weeks ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- The rule-based graph programming language GP 2☆72Updated last month
- Modeling and Programming with Gecode☆50Updated 3 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- The Cubicle model checker☆14Updated 3 months ago
- ☆34Updated 5 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- ☆11Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago