Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
☆12May 21, 2025Updated last year
Alternatives and similar repositories for Hypergraph
Users that are interested in Hypergraph are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- OpTion (Operator construcTion) is a Mathematica package for building operators in lattice QCD.☆16Oct 17, 2026Updated 2 weeks ago
- Fast file-hash DB☆10Mar 14, 2025Updated last year
- ☆19Oct 27, 2026Updated last week
- 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.
- Features of the Future☆11Apr 6, 2021Updated 5 years ago
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 4 months ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- An autonomous car able to ride safely.☆13Jan 31, 2021Updated 5 years ago
- ☆10May 20, 2022Updated 4 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆12May 29, 2021Updated 5 years ago
- Hypergraph tools☆12Jul 3, 2026Updated 4 months ago
- High-level Python API for the EBRAINS Knowledge Graph☆14Oct 21, 2026Updated 2 weeks ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Isovector nucleon axial coupling☆12Dec 12, 2023Updated 2 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- Gauge Link Utility (GLU) is a lattice field theory library.☆17Aug 25, 2026Updated 2 months ago
- 📚 - Resources for Machine Learning and Haskell☆28Nov 14, 2017Updated 8 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- gHyPart: GPU-friendly End-to-End Hypergraph Partitioner☆12Feb 6, 2025Updated last year
- Part of speech tagger/grammer checker written in clojure☆21Apr 13, 2016Updated 10 years ago
- A lattice QCD library.☆17Oct 28, 2026Updated last week
- A server for the forester tool☆19Dec 10, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Examples from Second Edition of Discovering Modern C++☆22Aug 16, 2018Updated 8 years ago
- Knot Theory library focusing on k-tangles☆16Jul 28, 2022Updated 4 years ago
- phlower is a deep learning framework based on PyTorch especially for physical phenomenon such as fluid dynamics.☆16Updated this week
- NeurIPS 2026 - Multi-Network Training for Transfer Learning on Temporal Graphs☆14May 13, 2025Updated last year
- YAML parser for Dyalog APL☆14Oct 30, 2023Updated 3 years ago
- High-performance computation of the Epstein zeta function, including Python, Julia and Mathematica bindings☆16Updated this week
- A Docker image that installs ubuntu packages via IPFS☆21May 1, 2025Updated last year
- Build YAML in Gleam!☆20Mar 9, 2026Updated 7 months ago
- ☆16Jul 18, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆11Nov 26, 2020Updated 5 years ago
- Fix your damn commit message grammar!☆14Nov 6, 2021Updated 4 years ago
- Haskell library of algebraic topology☆27Sep 23, 2011Updated 15 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated last year
- Library of python functions for the analysis of hypergraphs.☆14Feb 1, 2025Updated last year
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Jul 22, 2016Updated 10 years ago
- Source code for KAIS (2023) paper "Temporal Hypergraph Motifs" and ICDM 2021 paper "THyMe+: Temporal Hypergraph Motifs and Fast Algorithm…☆14Feb 18, 2023Updated 3 years ago