Powerful, simple, audio tag editor for GNU/Linux

Yet another Yogurt - An AUR Helper written in Go

⚓ GROWI - Team collaboration software using markdown

Coq tactic library for human-readable proofs based on formula rewriting

A statically-typed, functional typesetting system

An open source game engine for C++20 🐶 🎮

A complete replacement for i3status

🇦🇶 Bluish color scheme for Vim and Neovim