Skip to content
View nclarius's full-sized avatar
16 followers · 0 following
Block or Report

Block or report nclarius

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
nclarius/README.md

I am a software developer and master's student with a background in formal logic and computational linguistics. I

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 my personal website.

Pinned

  1. pyPL pyPL Public

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

    Python 18 2

  2. pyGrade pyGrade Public

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

  3. tile-gaps tile-gaps Public

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

    JavaScript 102 16

  4. floating-tiles floating-tiles Public

    KWin script to prevent windows from overlapping

    JavaScript 14 6

  5. automatic-manual-duplex-printing automatic-manual-duplex-printing Public

    Shell script to semi-automatize manual two-sided printing

    Shell 5

  6. nclarius.github.io nclarius.github.io Public

    Personal Website

    HTML 1