bpinaud / Porgy
Visual graph rewriting platform
☆10Updated last year
Alternatives and similar repositories for Porgy:
Users that are interested in Porgy are comparing it to the libraries listed below
- 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☆20Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- egraph <-> json☆13Updated 6 months ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated last month
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Mathematical stories☆13Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Lean 4 as a scripting language in Houdini☆16Updated last year
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 9 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- miniKanren with a first-order representation of the search space☆16Updated 8 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 5 months ago
- 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