A native, full-featured hi-fi Qobuz desktop player for Linux, with fast, bit-perfect audio playback.

Rust implementation of the Messaging Layer Security (MLS) protocol

Discover hundreds of Neovim tips, tricks, and shortcuts — and even add your own! You’ll also get a beautifully formatted PDF book with every tip inside.

Neovim Lua plugin with fast and feature-rich surround actions. Part of 'mini.nvim' library.

Signal Messenger client for terminal

Single tabpage interface for easily cycling through diffs for all modified files for any git rev.

Tui, web and rfid player for Qobuz

FeedFlow is a minimalistic RSS Reader available on Android, iOS, macOS, Windows and Linux. Built with Kotlin Multiplatform, Jetpack Compose and SwiftUI.

AirPlay player for the RAOP v2 protocol with synchronization

PoC for privacy-preserving decentralized messaging infrastructure

Solutions of problems on projecteuler.net in Rust.

An IDE extension for debugging trait errors in Rust.

My hyprland configurations

A predictable state management library that helps implement the BLoC design pattern

YubiKey NFC OTP app for Sailfish OS

A GTK theme based on the Gruvbox colour palette.

Gruvbox Material for GTK, Gnome, Cinnamon, XFCE, Unity, Plank and Icons

🔧 .files - different setups separated in branches

Libre Hardware Monitor is free software that can monitor the temperature sensors, fan speeds, voltages, load and clock speeds of your computer.

Bazel build rules for OpenBLAS

Rust rules for Bazel

Algebraic effects for Rust

A textbook on informal homotopy type theory

Dex to Java decompiler

Log Bluetooth data and UILabel changes for Dexcom iOS app on jailbroken iPhone

FBI, Open up ~/