Pinned Repositories
acwj
A Compiler Writing Journey
biber
Backend processor for BibLaTeX
BrodieRobertson.github.io
catclock
Port of 9front catclock to OpenBSD
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dwl
dwm for Wayland
dxhd
daky's X11 Hotkey Daemon
no-more-secrets
A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
Humm42's Repositories
Humm42/no-more-secrets
A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
Humm42/acwj
A Compiler Writing Journey
Humm42/biber
Backend processor for BibLaTeX
Humm42/BrodieRobertson.github.io
Humm42/catclock
Port of 9front catclock to OpenBSD
Humm42/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Humm42/dwl
dwm for Wayland
Humm42/dxhd
daky's X11 Hotkey Daemon
Humm42/filet
A fucking fucking fast file fucker
Humm42/go
The Go programming language
Humm42/gomuks
A terminal based Matrix client written in Go.
Humm42/hexedit0r
personal fork of hexedit, a ncurses hexeditor
Humm42/kcaldav
a simple, safe, and minimal CalDAV server
Humm42/minio-go
MinIO Client SDK for Go
Humm42/profanity
Ncurses based XMPP client
Humm42/sam
An updated version of the sam text editor.
Humm42/scripts
Messing around with shell scripting because it seems like fun, maybe you'll find something useful
Humm42/spleen
Monospaced bitmap fonts
Humm42/zzz
A simple program to suspend or hibernate your computer 💤