For more stuff, check out my GitHub profile, or perhaps GitLab.

1 Shar

A framework for description logics in Scala. Supports HermiT (or any other OWL API reasoner) with algebraic data types for axioms and concept expressions, parsers, and more.

2 Shardik

A minimal interactive REPL (and scripting language) for defining, loading and reasoning with description logics knowledge bases. Built on top of SHAR and implemented in Scala. Useful for exploring knowledge bases, defining small knowledge bases, and including DL reasoning in Bash (et al.) scripts.

3 From Shapes to Shapes

From shapes to shapes (or s2s in short) is a tool and library for inferring SHACL shapes that validate result graphs of SPARQL CONSTRUCT queries. For more information, see the associated paper.

4 ProGS Validator

A prototype validator for the ProGS shape validation language for property graphs. Using Answer Set Programming (Clingo). Can validate graphs exported from Neo4j (openCypher).

5 ScaSpa

Scala 3 implementation of a type checking framework that integrates SPARQL queries with types based on description logics. Reimplemented prototype based on a previous implementation in Scala 2.

6 Fuzzyphile

Fuzzyphile is a nice CLI tool for piping fd into fzf into shell builtins. It provides utilities for both navigating and interacting with the file system in a very fuzzy way. Just a simple Python script, but incredibility useful.

7 s1ck3r

s1ck3r is a sleek, transient and customizable shell prompt for zsh.