ykazakov

aboxer

A utility for converting axioms in OWL ontologies to assertions

cb-reasoner

Automatically exported from code.google.com/p/cb-reasoner

condor-reasoner

Automatically exported from code.google.com/p/condor-reasoner

gst-examples

GStreamer example applications

ore-2015-competition-framework

ORE 2015 Competition Framework

rw19-dl

A tutorial on Description Logics reasoning given at the 15th Reasoning Web Summer School (RW 2019)

docker-satpinpointing-experiments

domjudge

DOMjudge programming contest jury system

explanation-workbench

A plug-in that adds explanation facilities to the Protege Desktop ontology editor.

ganymede

The Ganymede Kernel is a Jupyter Notebook Java kernel based on the Java Shell tool, JShell.

gstreamer

IJava

A Jupyter kernel for executing Java code.

jupyter-jvm-basekernel

An abstract kernel implementation for Jupyter kernels running on the Java virtual machine.

jupyterhub

Multi-user server for Jupyter notebooks

nbgrader

A system for assigning and grading notebooks

nocs-book

Computer Science for Non-Computer Scientists Notebook

protege-autoupdate

Autoupdate files for Protege Desktop

protege-distribution

Build files for the protege distribution that includes 3rd party plugins

protege-owlapi

Extensions to the OWL API for Protege

RuleBasedModuleExtraction

satpinpointing-experiments

TYPO3CMS-Tutorial-Editors

This tutorial explains how to add or change content on an existing website in TYPO3. It provides the most basic instructions step by step and illustrated with screenshots.