😵💫
writing elaborators
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Stars
🏡 My Stack
14 repositories
Empowering everyone to build reliable and efficient software.
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
Automatically detect and load your .envrc
The user-friendly command line shell.
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
PragmataPro font is designed to help pros to work better
A Powerline-style, Git-aware fish theme optimized for awesome.