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