Graph programming language
☆171Jun 9, 2026Updated this week
Alternatives and similar repositories for hydra
Users that are interested in hydra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Categorical Query Language IDE☆354Jun 4, 2026Updated last week
- Tools to update and export ontology RDF.☆38Dec 30, 2024Updated last year
- CQL: Categorical Query Language implementation in Haskell☆184Apr 14, 2023Updated 3 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14May 20, 2026Updated 3 weeks ago
- A Datalog Framework for Python☆18Mar 8, 2023Updated 3 years ago
- 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.
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 6 years ago
- Theory and Applications of Lenses and Optics☆57Apr 29, 2022Updated 4 years ago
- Relational Algebra, now with more algebra!☆55May 17, 2026Updated 3 weeks ago
- A command-line utility for processing JSON-LD, RDF, RDFC, JCS, CBOR-LD, and multiformats with native executables for Ubuntu, macOS, and …☆32Jun 1, 2026Updated last week
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆72Feb 22, 2022Updated 4 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆42Jun 4, 2026Updated last week
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Haskell implementation of open games☆189Jan 31, 2025Updated last year
- Framework for Gibbs sampling of probabilistic models☆49Apr 13, 2015Updated 11 years ago
- Apache Jena Fuseki extension module for receiving data over Apache Kafka topics.☆18Jun 4, 2026Updated last week
- Java library for nanopublications based on RDF4J☆31Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- Building dynamical systems compositionally☆79Apr 24, 2026Updated last month
- The Python toolkit for computing with string diagrams.☆425Jun 3, 2026Updated last week
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- Semantic Web scripting language☆105Apr 14, 2023Updated 3 years ago
- ☆28May 19, 2022Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆42Jun 1, 2026Updated last week
- Semantic flow graphs for data science☆31Sep 8, 2022Updated 3 years ago
- Language independent, reproducible, absolute types.☆22Oct 11, 2025Updated 8 months ago
- The mm-ADT Virtual Machine☆35Nov 22, 2020Updated 5 years ago
- our urbit desks for powering the realm application☆12Jan 12, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 9 months ago
- Classes and methods for Geometric Deep Learning to support Substack, LinkedIn newsletters and tutorials☆32Updated this week
- Starting from scratch to wrap D3v4☆25Nov 1, 2016Updated 9 years ago
- Simple CLI tool to cross-check your raw 23andMe genetic data against the ClinVar database☆18Oct 3, 2025Updated 8 months ago
- A framework for applied category theory in the Julia language☆708May 12, 2026Updated 3 weeks ago
- Kleene algebra, regular expressions☆33May 12, 2026Updated 3 weeks ago
- tuscli - TerminusDB Javascript document client☆10Mar 13, 2026Updated 2 months ago