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.0100

Language:Lua100

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

Language:ShellMIT1 10

Example project for dltypes.

Language:ScalaApache-2.0000

Library component for the dltypes Scala compiler plugin.

Language:ScalaApache-2.0000

A collection of spotipy-based Spotify tools.

Language:PythonMIT000

A REPL for creating and interacting with description logics knowledge bases

Language:ScalaMIT010