Alternatives and similar repositories for hydra

Users that are interested in hydra are comparing it to the libraries listed below

• CategoricalData / CQL
  Categorical Query Language IDE
  ☆321Updated 3 weeks ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆159Updated last week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 3 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆40Updated 4 months ago
• eyereasoner / eye-js
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆64Updated this week
• knowsys / nemo
  A fast in-memory rule engine
  ☆206Updated this week
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆143Updated last week
• IDLabResearch / validatrr
  ☆16Updated 5 years ago
• BFO-ontology / BFO-2020
  A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
  ☆161Updated last month
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆29Updated last week
• semanticarts / ontology-toolkit
  Tools to update and export ontology RDF.
  ☆38Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• LogicalContracts / LogicalEnglish
  ☆43Updated last week
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 3 years ago
• ToposInstitute / poly
  ☆126Updated last year
• CommonCoreOntology / CommonCoreOntologies
  The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
  ☆291Updated 2 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆182Updated 2 years ago
• dice-group / tentris-research-project
  Tentris is a tensor-based triplestore that natively supports worst-case optimal joins. This is the research version of Tentris. A commer…
  ☆63Updated 5 months ago
• DataTreehouse / maplib
  ☆98Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• AtomGraph / JSON2RDF
  Streaming generic JSON to RDF converter
  ☆94Updated 2 years ago
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆31Updated 3 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆29Updated 7 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 4 months ago
• gtfierro / reasonable
  OWL 2 Reasoner built on DataFrog
  ☆109Updated 4 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆29Updated 3 weeks ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆13Updated 6 years ago
• semanticarts / gist
  Semantic Arts gist upper enterprise ontology
  ☆215Updated this week