Here’s a list of my favorite software! I also have a dotfiles repo which is pretty small since I prefer software with good defaults.
| Category | Name |
|---|---|
| Programming language | Lean |
| Operating system | NixOS, GrapheneOS |
| Desktop environment | KDE Plasma |
| Filesystem | BeTRayalFS oh wait no it’s actually called Btrfs |
| Shell | Fish |
| Text editor | Micro, KWrite, Kate, VSCodium (for Lean) |
| Web browser | Firefox |
| Ad blocker | uBlock Origin |
| Media player | mpv |
| Synchronization | Syncthing (it syncs things, wow!), KDE Connect (which will totally change your life and solve all your problems and bring about world peace just trust me) |
| Databases | SQLite |
| FANCY NOTEBOOKS | Pluto.jl |