-
Open Reply
Pinned Loading
-
ontohub/ontohub-frontend
ontohub/ontohub-frontend PublicThe Ontohub web UI for the end user.
-
ontohub/deployment
ontohub/deployment PublicCapistrano deployment configuration files for the different Ontohub sub-applications
Ruby
-
ontohub/bringit
ontohub/bringit PublicThis is a fork of https://gitlab.com/gitlab-org/gitlab_git, with some updates from the upstream https://gitlab.com/gitlab-org/gitlab-ce repository, where gitlab_git is integrated now.
-
ontohub/hets-agent
ontohub/hets-agent PublicThe HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs
-
ontohub/ontohub-backend
ontohub/ontohub-backend PublicThe main Ontohub service that serves the data for the frontend and other clients via the GraphQL API.
-
ontohub/ontohub-models
ontohub/ontohub-models PublicData model for Ontohub, to be used by backend and by hets-ontohub-adapter
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.