GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Pundit authorization helpers for the GraphQL Ruby gem
The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs
git shell for interaction with git clients
The Ontohub web UI for the end user.
The main Ontohub service that serves the data for the frontend and other clients via the GraphQL API.
Scripts and features to test the whole ontohub application
Data model for Ontohub, to be used by backend and by hets-ontohub-adapter
Capistrano deployment configuration files for the different Ontohub sub-applications
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.
Indexes data for quick searching
A gem that contains all indexes for search - used by the indexer and the ontohub-backend.
Devise support for Sequel models
A web-based repository for distributed ontologies.
Generate Ember-Data models from JSON Schemas
Broccoli filter to convert JSON schema files to ES6 modules
JSON-Schemata for the Ontohub API
Docker setup for the Ontohub CI server
Admin-Script Collection for Ontohub
A community-driven Ruby coding style guide
API for OOR and Ontohub
Mirror of http://socop.oor.net/
Sinatra app for merging one branch into another after catching GitHub post receive WebHooks.
Gem for using thejit in Ruby on Rails