Minimal theme for the rEFInd boot manager

GRUB theme using the logo from your computer's BGRT

Configurable, modern theme for the GRUB bootloader, containing backgrounds, icons, fonts and styling

Elegant grub2 themes for all linux systems

Independent session/login tracker

Repository for unused textures I have made over the years.

Fast and minimalist 3D viewer.

A portable fork of the OpenBSD `doas` command

Focus: a minimalist presentation theme for LaTeX Beamer.

A tower of languages/a collection of toy languages

Python implementation of the paper "Discrete Differential-Geometry Operators for Triangulated 2-Manifolds" by Meyer et. al. VisMath 2002

A lightweight C++ logging library

My favorite C programming practices.

Algebraic data types in Common Lisp

Lightweight and customizable notification daemon

Plasma Programming Language

Code and instructions for making topographic maps of planets and moons

A small C compiler

A new markup-based typesetting system that is powerful and easy to learn.

Debian GNU/Linux based Services Profiles

Linux power save settings, compatible with systemd

Scripts to build a trimmed-down Windows 11 image.

An organizational repository for my dotfiles and scripts

Simple X hotkey daemon

A Simple Wireless Display Receiver

An educational C-like toy programming language that compiles to x64 binary.

a Fast Fourier Transform (FFT) library that tries to Keep it Simple, Stupid

Render markdown on the CLI, with pizzazz! 💅🏻

Papers from the computer science community to read and discuss.