nclarius
Developer and student working on KDE, logic and teaching software
Funding Links: https://github.com/sponsors/nclarius
- Name: Natalie Clarius
- Location: Tübingen, Germany
- Kind: user
- Followers: 23
- Following: 0
- Total stars: 297
- Repositories count: 28
- Created at: 2022-11-16T11:10:16.749Z
- Updated at: 2025-03-09T13:51:59.441Z
- Last synced at: 2025-03-09T13:51:59.441Z
GitHub Sponsors Profile
I am a master's student developing open source software in my free time. I
contribute to KDE Plasma
write KDE extensions
develop scripts for automation of routine processes, especially in academic education
work on a computational implementation of the tableau calculus for modal logics
and enjoy teaching logic and programming.
Languages: Python (fluent), C++, bash, JavaScript (working proficiency), Java (native language), Prolog (good in reading, intermediate in writing)
More about me can be found on my personal website.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
KDE/kwin
Easy to use, but flexible, Wayland Compositor
Language: C++ - Stars: 554KDE/plasma-workspace
Various components needed to run a Plasma-based environment
Language: C++ - Stars: 229nclarius/tile-gaps
KWin script to add space around windows touching a screen edge or other window
Language: JavaScript - Stars: 109nclarius/KWin-window-positioning-scripts
KWin scripts controlling window placement on multi-monitor setups
Language: JavaScript - Stars: 67nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Stars: 20nclarius/pyGrade
Interactive assistant for unit test based semi-automated grading of Python programming assignments
Language: Python - Stars: