pseifer

Pinned Repositories

dltypes
Typed integration of SPARQL queries into the Scala programming language.
Language:Scala1 1 01
dltypes-example
Example project for dltypes.
Language:Scala0 1 00
dltypes-lib
Library component for the dltypes Scala compiler plugin.
Language:Scala0 2 00
dotfiles
dotfiles
Language:Lua1 1 00
Fixify
A collection of spotipy-based Spotify tools.
Language:Python0 1 00
s1ck3r
A sleek, transient and space-efficient prompt for zsh.
Language:Shell1 1 00
shar
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Language:Scala2 1 00
shardik
A REPL for creating and interacting with description logics knowledge bases
Language:Scala0 1 00
progs
ASP-based implementation of ProGS validation for property graphs. Supports Neo4j.
Language:Python0 6 00
s2s
From Shapes to Shapes: A tool and library for inferring SHACL shapes that validate result graphs of SPARQL CONSTRUCT queries
Language:Scala1 5 00

pseifer's Repositories

pseifer/shar
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Language:Scala2 1 00
pseifer/dltypes
Typed integration of SPARQL queries into the Scala programming language.
Language:Scala1 1 01
pseifer/dotfiles
dotfiles
Language:Lua1 1 00
pseifer/s1ck3r
A sleek, transient and space-efficient prompt for zsh.
Language:Shell1 1 00
pseifer/dltypes-example
Example project for dltypes.
Language:Scala0 1 00
pseifer/dltypes-lib
Library component for the dltypes Scala compiler plugin.
Language:Scala0 2 00
pseifer/Fixify
A collection of spotipy-based Spotify tools.
Language:Python0 1 00
pseifer/shardik
A REPL for creating and interacting with description logics knowledge bases
Language:Scala0 1 00