This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Cross-platform, fast, feature-rich, GPU based terminal

A VIM-inspired filemanager for the console

Linux/OSX/FreeBSD resource monitor

Matplotlib styles for scientific plotting

Command line interface to the freedesktop.org trashcan.

Passphrases to remember

Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.

"Natural" Natural Deduction: a Theorem Prover for Propositional Logic

Pygments lexer for Jason/JaCaMo AgentSpeak

This project involves testing the stability of various finite difference schemes on single and double pendulum models.