CategoricalData / hydra
Transformations transformed
☆80Updated 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☆303Updated 2 weeks ago
- The Heterogeneous Tool Set☆58Updated 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
- logic programming with SPARQL☆47Updated 2 years 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 ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆34Updated 2 weeks ago
- Grammatical Framework core: compiler, shell & runtimes☆139Updated this week
- CQL: Categorical Query Language implementation in Haskell☆169Updated last year
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆43Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated last month
- Polynomial-time Meta-Interpretive Learning☆120Updated 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
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Euler Yet another proof Engine☆137Updated this week
- ☆58Updated 4 years ago
- rdf4h is a library for working with RDF in Haskell☆77Updated last week
- ☆113Updated 8 months ago
- SHACL/ShEx implementation☆79Updated 6 months ago
- The SWI-Prolog RDF store☆30Updated last week
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆46Updated this week
- Play/learn/work with me☆100Updated 7 months ago
- formally verified category theory library☆262Updated 4 years ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆103Updated 8 months ago
- Whelk is an OWL EL reasoner☆26Updated 2 weeks ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- Wailing into the primordial ooze of category theory☆55Updated last week
- Domain Specific Languages for Computational Law☆71Updated last month