SteamOS session compositing window manager

A split, ergonomic, wireless keyboard

Userspace NVMe driver written in Rust

userspace nvme driver

NeoVim lua plugin that annotates source code with profiling information from perf or other profilers

Readings in Databases

Neovim file explorer: edit your filesystem like a buffer

An interactive and powerful Git interface for Neovim, inspired by Magit

autopairs for neovim written in lua

Git integration for buffers

a lua powered greeter like vim-startify / dashboard-nvim

Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.

Powerful menu bar manager for macOS

Creusot helps you prove your code is correct in an automated fashion.

AeroSpace is an i3-like tiling window manager for macOS

Awesome materials about database development.

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Clone of isabelle, with LSP extensions in seperate branches

High-performance runtime for data analytics applications

A complete computer science study plan to become a software engineer.

Find, Filter, Preview, Pick. All lua, all the time.

⭐️ A friendly language for building type-safe, scalable systems!

DeDRM tools for ebooks

This is a cheat sheet for doom emacs, mostly from the guides I see online.

Kani Rust Verifier

The goal of the bachelor thesis is to extend the Proof Assistant Isabelle by the automatic generation of runtime functions.

Simple static API for some (student) food places in Munich.