• contribute toKDE, and maintain someKDE extensions in my spare time
• develop scripts for automation of routine processes, especially inacademic education
• work on acomputational implementation of the tableau calculus for modal logics
• and enjoyteaching logic and programming.

Languages: Python (fluent), C++, QML, JavaScript, bash (working proficiency), Java (native language), Prolog (good in reading, intermediate in writing)

More about me can be found on mypersonal website.

PinnedLoading

1. pyPLpyPLPublic

   Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

   Python 20 2

2. pyGradepyGradePublic

   Interactive assistant for unit test based semi-automated grading of Python programming assignments

   Python

3. tile-gapstile-gapsPublic

   KWin script to add space around windows touching a screen edge or other window

   JavaScript 109 19

4. floating-tilesfloating-tilesPublic

   KWin script to prevent windows from overlapping

   JavaScript 16 6

5. automatic-manual-duplex-printingautomatic-manual-duplex-printingPublic

   Shell script to semi-automatize manual two-sided printing

   Shell 4 1

6. nclarius.github.ionclarius.github.ioPublic

   Personal Website

   HTML 1