Smart PDF to Markdown converter with intelligent heading detection, automatic header/footer removal, orphan fragment merging, and image export. Features a user-friendly GUI with preview mode, persi…

A scrollable-tiling Wayland compositor.

Verifying concurrent storage and distributed systems

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.

A Proof-oriented Programming Language

Tools to create animated battle maps for in person RPG games.

Nix Packages collection & NixOS

Hints lets you navigate GUI applications in Linux without your mouse by displaying "hints" you can type on your keyboard to interact with GUI elements.

A Nix derivation for Foundry VTT

Goose converts a subset of Go to Rocq

A shell prompt with infinite customization

TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.

Embedded drawing tool for Emacs

Digital planner for Supernote and ReMarkable // Support Ukraine 🇺🇦 https://war.ukraine.ua/support-ukraine/

my personal dotfiles, use at your own risk

My lovely personal linux setup :3

My Hyprland dotfiles

Configs for my desktop and laptop

// Aesthetic, dynamic and minimal dots for Arch hyprland

A collection of useful Emacs Lisp code that isn't substantial enough to be packaged

A GDB frontend for Lïnux.

A huge collection of Rofi based custom Applets, Launchers & Powermenus.

Recolor icon packs, themes, wallpapers and assets with a few clicks or lines of code.

Schedule your day visually, using timeblocking technique inside Emacs

An Everything client for Android