bpinaud / PorgyLinks
Visual graph rewriting platform
☆10Updated 4 months ago
Alternatives and similar repositories for Porgy
Users that are interested in Porgy are comparing it to the libraries listed below
Sorting:
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- ☆34Updated 5 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated this week
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 2 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 8 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last month
- Unified Maude model-checking tool☆12Updated 2 weeks ago
- Python term rewriting☆30Updated 12 years ago
- VATA Tree Automata Library☆33Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated 2 years ago
- Metamath verifier in Python☆39Updated 4 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 13 years ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Language bindings for Maude☆23Updated 10 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Deposited packages of the homalg project☆16Updated last month
- A toolkit for building multi-result supercompilers☆31Updated 4 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 4 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- ☆24Updated 2 years ago
- ☆19Updated 8 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago