Skip to content
View pseifer's full-sized avatar
Block or Report

Block or report pseifer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. softlang/s2s softlang/s2s Public

    From Shapes to Shapes: A tool and library for inferring SHACL shapes that validate result graphs of SPARQL CONSTRUCT queries

    Scala 1

  2. shar shar Public

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

    Scala 2

  3. softlang/progs softlang/progs Public

    ASP-based implementation of ProGS validation for property graphs. Supports Neo4j.

    Python

  4. s1ck3r s1ck3r Public

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

    Shell 1