Visual graph rewriting platform
☆10Jun 3, 2025Updated 9 months ago
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 last month
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 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.☆10Sep 11, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆25Updated this week
- is a tiny FEM framework for C++.☆11Jan 20, 2021Updated 5 years ago
- Large graphs analysis, drawing and visualization framework☆140Jan 7, 2026Updated 2 months ago
- Add-on project for Chaste for modelling microvessels.☆10Aug 6, 2024Updated last year
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 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
- 🧩 Design-Information-Modeling for Kit-of-Parts 🏘️☆16Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Mar 12, 2026Updated 2 weeks ago
- Research project of the Cluster of Excellence "Integrative Computational Design and Construction for Architecture" (IntCDC) https://www.i…☆10Sep 3, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- projected Stein variational gradient descent☆12Oct 2, 2021Updated 4 years ago
- CUDA Finite Difference Library☆16Aug 21, 2020Updated 5 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- PyNucleus is a finite element code that specifically targets nonlocal operators.☆14Feb 11, 2026Updated last month
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Oct 23, 2012Updated 13 years ago
- Simple c# classes to read and write an File in Format IFC 4 XML☆12Sep 7, 2018Updated 7 years ago
- The Flix Programming Book☆23Updated this week
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Unicode code point and grapheme cluster explorer☆13Apr 13, 2023Updated 2 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated 2 years ago
- Java program to visualize large genealogies, up to 10,000 people☆43Aug 11, 2014Updated 11 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- Vectorize is a free, open source image tracing plug-in for Rhino.☆16Mar 16, 2023Updated 3 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 8 years ago
- Scripts to build a Bela image from scratch☆45Mar 13, 2026Updated 2 weeks ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- ARCHIVED! ImGui for VL☆15Mar 1, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GLioblastoma Image Analysis for integrating brain tumor growth models with medical imaging☆21Mar 30, 2023Updated 2 years ago
- nools in TypeScript.☆13Feb 12, 2019Updated 7 years ago
- Derivative-Informed Neural Operator: An Efficient Framework for High-Dimensional Parametric Derivative Learning☆18Jan 9, 2024Updated 2 years ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 4 years ago
- Point of Sale Application based on distributed networking design principles☆14Aug 7, 2018Updated 7 years ago
- A Python bindings generator for C/C++ libraries☆61Updated this week
- ☆24Jan 17, 2019Updated 7 years ago