bpinaud / PorgyView external linksLinks
Visual graph rewriting platform
☆10Jun 3, 2025Updated 8 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.☆20Feb 7, 2020Updated 6 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 weeks ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Oct 23, 2012Updated 13 years ago
- The Flix Programming Book☆21Jan 25, 2026Updated 3 weeks ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Torch Frontend for IREE☆25Dec 21, 2023Updated 2 years ago
- ☆25Feb 2, 2026Updated last week
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Dec 28, 2021Updated 4 years ago
- Fast matrix multiplication☆31Jul 6, 2021Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 4 months ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 2 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- The rule-based graph programming language GP 2☆77Nov 25, 2025Updated 2 months ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- Grape - Graph Rewriting and Persistence Engine☆33Jan 14, 2024Updated 2 years ago
- ☆51Nov 27, 2025Updated 2 months ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- ☆11Dec 11, 2022Updated 3 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- Notes and handouts from OPLSS 2019☆34Jun 28, 2019Updated 6 years ago
- Stochastic model for lava flows☆13Apr 15, 2024Updated last year
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- A program to transmit OSC data directly from the ROLI Lightpad Block☆11Jan 3, 2017Updated 9 years ago
- ☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year