The Depressed Milkman's repositories
coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
Language:Vim Script000
ringbuffer
A fixed-size circular buffer written in Rust.
Language:RustMIT000
swww
A Solution to your Wayland Wallpaper Woes
Language:RustGPL-3.0000
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Language:ZigMIT000