-
Open Reply
Block or Report
Block or report eugenk
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
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
If the problem persists, check the GitHub status page or contact support.