CategoricalData / hydraLinks
Graph programming language
☆92Updated this week
Alternatives and similar repositories for hydra
Users that are interested in hydra are comparing it to the libraries listed below
Sorting:
- Categorical Query Language IDE☆309Updated last month
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- Data Science Ontology☆38Updated last month
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated last week
- The Heterogeneous Tool Set☆58Updated 4 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆38Updated 2 months ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- CQL: Categorical Query Language implementation in Haskell☆173Updated 2 years ago
- Define communication protocols between applications using algebraic data types.☆46Updated 2 years ago
- ☆115Updated 11 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- ☆40Updated last month
- A collaborative environment for formal, interoperable, conceptual modeling☆79Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Compositional Representable Executable Machines☆119Updated 6 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- ☆44Updated 2 years ago
- ☆65Updated 6 years ago
- The MMT Language and System☆74Updated 11 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆36Updated 7 months ago
- ☆33Updated last month
- formally verified category theory library☆263Updated 5 years ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated 2 weeks ago
- A place to collect work on dialectica categories.☆26Updated this week
- logic programming with SPARQL☆47Updated 2 years ago
- Euler Yet another proof Engine☆143Updated this week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago