bpinaud / PorgyLinks
Visual graph rewriting platform
☆10Updated 3 weeks ago
Alternatives and similar repositories for Porgy
Users that are interested in Porgy are comparing it to the libraries listed below
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Operations with matrices, SWI pack☆13Updated last year
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- Tutorial for the CHR system☆16Updated 4 years ago
- egraph <-> json☆14Updated 8 months ago
- Unified Maude model-checking tool☆12Updated 5 months ago
- ☆23Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Multinomials for the Mathematical Components library.☆14Updated this week
- A new language for optimization☆13Updated 4 years ago
- ☆13Updated 3 years ago
- ☆10Updated 3 weeks ago
- Modeling and Programming with Gecode☆46Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Updated last year
- The Cubicle model checker☆14Updated last year
- ☆34Updated 4 years ago
- ☆19Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago