Pinned Repositories
natural-number-game
Learning how to use the Lean theorem prover
exercism
my solutions on exercism
atproto-demo
brendanfattig.github.io
brendanny.github.io
clock
HE calendar and Decimal time
dependabot-demo
🤖 Fork me to try out Dependabot
fedora_gnome_install
Install script for Fedora Gnome fresh installs
kickstart.nvim
A launch point for your personal nvim configuration
live-activity-1
brendanny's Repositories
brendanny/music-box-interactive-client
brendanny/exercism
my solutions on exercism
brendanny/atproto-demo
brendanny/wiki
brendanny/natural-number-game
Learning how to use the Lean theorem prover
brendanny/dependabot-demo
🤖 Fork me to try out Dependabot
brendanny/Signal-Desktop
A private messenger for Windows, macOS, and Linux.
brendanny/brendanny.github.io
brendanny/kickstart.nvim
A launch point for your personal nvim configuration
brendanny/live-activity-1
brendanny/brendanfattig.github.io
brendanny/fedora_gnome_install
Install script for Fedora Gnome fresh installs
brendanny/clock
HE calendar and Decimal time