CategoricalData / hydra
Transformations transformed
☆79Updated this week
Alternatives and similar repositories for hydra:
Users that are interested in hydra are comparing it to the libraries listed below
- Categorical Query Language IDE☆301Updated this week
- logic programming with SPARQL☆47Updated 2 years ago
- The Heterogeneous Tool Set☆57Updated last month
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆41Updated this week
- ☆113Updated 7 months ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- The mm-ADT Virtual Machine☆34Updated 4 years ago
- CQL: Categorical Query Language implementation in Haskell☆168Updated last year
- rdf4h is a library for working with RDF in Haskell☆77Updated 11 months ago
- ☆14Updated 4 years ago
- ☆44Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆11Updated last year
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆35Updated this week
- Euler Yet another proof Engine☆135Updated this week
- formally verified category theory library☆262Updated 4 years ago
- ☆65Updated 6 years ago
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- The SWI-Prolog RDF store☆30Updated last month
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- Play/learn/work with me☆100Updated 7 months ago
- ☆37Updated 8 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆70Updated last month
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆48Updated last month
- SHACL/ShEx implementation☆79Updated 6 months ago
- Whelk is an OWL EL reasoner☆25Updated last week
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated this week
- Grammatical Framework core: compiler, shell & runtimes☆139Updated this week
- Define communication protocols between applications using algebraic data types.☆45Updated last year