Pinned Repositories
admin-scripts
Admin-Script Collection for Ontohub
bringit
This 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.
graphql-pundit
Pundit authorization helpers for the GraphQL Ruby gem
hets-agent
The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs
ontohub
A web-based repository for distributed ontologies.
ontohub-backend
The main Ontohub service that serves the data for the frontend and other clients via the GraphQL API.
ontohub-frontend
The Ontohub web UI for the end user.
ontohub-models
Data model for Ontohub, to be used by backend and by hets-ontohub-adapter
OOR_Ontohub_API
API for OOR and Ontohub
sequel-devise
Devise support for Sequel models
Ontohub's Repositories
ontohub/graphql-pundit
Pundit authorization helpers for the GraphQL Ruby gem
ontohub/ontohub
A web-based repository for distributed ontologies.
ontohub/ontohub-backend
The main Ontohub service that serves the data for the frontend and other clients via the GraphQL API.
ontohub/sequel-devise
Devise support for Sequel models
ontohub/ontohub-frontend
The Ontohub web UI for the end user.
ontohub/admin-scripts
Admin-Script Collection for Ontohub
ontohub/bringit
This 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
The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs
ontohub/ontohub-models
Data model for Ontohub, to be used by backend and by hets-ontohub-adapter
ontohub/OOR_Ontohub_API
API for OOR and Ontohub
ontohub/deployment
Capistrano deployment configuration files for the different Ontohub sub-applications
ontohub/ruby-style-guide
A community-driven Ruby coding style guide
ontohub/socop
Mirror of http://socop.oor.net/
ontohub/system-test
Scripts and features to test the whole ontohub application
ontohub/bioportal_importer
ontohub/broccoli-json-schema-module
Broccoli filter to convert JSON schema files to ES6 modules
ontohub/ember-json-schema
Generate Ember-Data models from JSON Schemas
ontohub/git-shell
git shell for interaction with git clients
ontohub/github-merge-hook
Sinatra app for merging one branch into another after catching GitHub post receive WebHooks.
ontohub/index
A gem that contains all indexes for search - used by the indexer and the ontohub-backend.
ontohub/indexer
Indexes data for quick searching
ontohub/ontohub-api-json
JSON-Schemata for the Ontohub API
ontohub/ontohub-ci
Docker setup for the Ontohub CI server
ontohub/react-form-validation
ontohub/thejit
Gem for using thejit in Ruby on Rails
ontohub/tones_importer