CategoricalData / hydraLinks
Graph programming language
☆114Updated 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☆313Updated 3 weeks ago
- The Heterogeneous Tool Set☆59Updated 7 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 5 months ago
- Euler Yet another proof Engine☆152Updated this week
- Data Science Ontology☆38Updated 3 months ago
- logic programming with SPARQL☆47Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆141Updated last week
- ☆118Updated last year
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated last week
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- Java library based on the VLog rule engine☆34Updated last month
- Parser for Attempto Controlled English (ACE)☆203Updated last year
- CQL: Categorical Query Language implementation in Haskell☆178Updated 2 years ago
- formally verified category theory library☆263Updated 5 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆107Updated this week
- ☆35Updated this week
- OWL 2 Reasoner built on DataFrog☆88Updated last week
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated 2 months ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- Automatically exported from code.google.com/p/colore☆71Updated 8 months ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆55Updated this week
- 🐧 Clingo Interactive UI☆27Updated this week
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆106Updated last year
- ☆15Updated 5 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆72Updated 7 months ago
- BFO repository including source code and latest documents☆284Updated last year
- The SWI-Prolog RDF store☆32Updated 3 weeks ago
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆41Updated 2 years ago
- The MMT Language and System☆75Updated last year