Beast code in Giters

Philipp Seifer's repositories

SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.

Language:ScalaMIT2 10

Typed integration of SPARQL queries into the Scala programming language.

Language:ScalaApache-2.01 10

Language:Lua1 10

A sleek, transient and space-efficient prompt for zsh.

Language:ShellMIT1 10

Example project for dltypes.

Language:ScalaApache-2.0010

Library component for the dltypes Scala compiler plugin.

Language:ScalaApache-2.0020

A collection of spotipy-based Spotify tools.

Language:PythonMIT010

A REPL for creating and interacting with description logics knowledge bases

Language:ScalaMIT010