Giter VIP home page Giter VIP logo

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.

Natalie Clarius's Projects

exquisite icon exquisite

Easy window layout management for KDE Plasma

kbdsay icon kbdsay

Show a message by lighting up keys on the keyboard

kde-snap-assist icon kde-snap-assist

KWin script for KDE Plasma which suggests other window thumbnails on snap

klassy icon klassy

Klassy is a highly customizable binary Window Decoration and Application Style plugin for recent versions of the KDE Plasma desktop. It provides the Klassy, Kite, Oxygen/Breeze, and Redmond icon styles.

plasma-hud icon plasma-hud

Provides a way to run menubar commands in KDE Plasma through rofi, much like the Unity 7 Heads-Up Display (HUD).

pygrade icon pygrade

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

pypl icon pypl

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

rainbow icon rainbow

:rainbow: Colorize commands output or STDIN using patterns.

shell-scripts icon shell-scripts

Collection of shell scripts and instructions for window opening and file updating

sl icon sl

SL(1): Cure your bad habit of mistyping

sticky-window-snapping icon sticky-window-snapping

KWin script which lets snapped window edges stick together when one window is resized, forked for compatibility with window gaps.

systemd icon systemd

The systemd System and Service Manager

tasks icon tasks

Bringing Astrid Tasks back from the dead

tile-gaps icon tile-gaps

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.