Declarative infrastructure with Nix

Implementations of the lox programming language in GraalVM/Truffle and Rust

An ongoing attempt to re-engineer LuaJIT from scratch

TUMs lecture streaming service.

😸 Soothing pastel theme for the high-spirited!

Rudimentary Roam replica with Org-mode

Setups used for SpeedGameBot on werewolv.es

werewolv.es How To Play guides

Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.

Modern TUI calendar and task manager with minimal and customizable UI.

Slides from talks that I give

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Code for the "Extensions of Karger's algorithm" paper

📊 A minimalist, self-hosted WakaTime-compatible backend for coding statistics

A near drop-in replacement for rm that uses the trash bin. Written in D

A custom view to enter otp of different sizes used usually in cases of authentication.

Java SignalR Client Library

The engine for haskell ide-integration. Not an IDE

A strongly-typed language that compiles to JavaScript

A wayland compositor based on ideas from and inspired by xmonad

Mafia moderator bot for Telegram

A set of tools for accessing Werewolv.es data

A simulator for Dominion card game strategies