A nobody. Just a scientist in love with Physics, Mathematics and CS. A #gnu/Linux and free software fan.
The ultimate editor for true believers
The bigbang to my universe
A fork of idris2 mode
Things in a fixed and on-demand frame. Sort of.
A TUI based Nostr Client
Just another Lisp https://serene-lang.org
A collection of flake-part modules for my daily use
A template to build static haskell binaries with Nix and Musl
A nix flake that exposes cookiecutter for ease of use