Visual graph rewriting platform
☆10Jun 3, 2025Updated last year
Alternatives and similar repositories for Porgy
Users that are interested in Porgy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 6 months ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆11Sep 11, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Jun 17, 2026Updated 2 months ago
- is a tiny FEM framework for C++.☆11Jan 20, 2021Updated 5 years ago
- Large graphs analysis, drawing and visualization framework☆146Jul 22, 2026Updated 3 weeks ago
- Add-on project for Chaste for modelling microvessels.☆10Aug 6, 2024Updated 2 years ago
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 4 years ago
- ☆25Updated this week
- CUDA Finite Difference Library☆16Aug 21, 2020Updated 5 years ago
- projected Stein variational gradient descent☆12Oct 2, 2021Updated 4 years ago
- A practical guide for running Rhino3D CAD software on Linux through Wine, providing tested configurations and workarounds for professiona…☆14Dec 1, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Research project of the Cluster of Excellence "Integrative Computational Design and Construction for Architecture" (IntCDC) https://www.i…☆10Jun 1, 2026Updated 2 months ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- PyNucleus is a finite element code that specifically targets nonlocal operators.☆13Feb 11, 2026Updated 6 months 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☆24Updated this week
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 4 years ago
- Unicode code point and grapheme cluster explorer☆13Apr 13, 2023Updated 3 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- Java program to visualize large genealogies, up to 10,000 people☆43Aug 11, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple c# classes to read and write an File in Format IFC 4 XML☆12Sep 7, 2018Updated 7 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆20Mar 19, 2024Updated 2 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on…☆12Aug 15, 2017Updated 9 years ago
- Vectorize is a free, open source image tracing plug-in for Rhino.☆16Mar 16, 2023Updated 3 years ago
- Scripts to build a Bela image from scratch☆45Mar 13, 2026Updated 5 months ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Filtro pandoc para possibilitar contemplação das Normas da ABNT☆11Apr 13, 2021Updated 5 years ago
- nools in TypeScript.☆13Feb 12, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆17Jul 27, 2026Updated 3 weeks ago
- Derivative-Informed Neural Operator: An Efficient Framework for High-Dimensional Parametric Derivative Learning☆20Jan 9, 2024Updated 2 years ago
- GLioblastoma Image Analysis for integrating brain tumor growth models with medical imaging☆21Mar 30, 2023Updated 3 years ago
- Point of Sale Application based on distributed networking design principles☆14Aug 7, 2018Updated 8 years ago
- ARCHIVED! ImGui for VL☆15Mar 1, 2023Updated 3 years ago
- A Python bindings generator for C/C++ libraries☆63Updated this week
- 💻 The right operating system for the left brain 🧠☆21Updated this week