William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball pushed to main at wball/dotfiles 2025-11-24 17:32:33 -08:00
14cc133dfb haskell-mode and update bibliography
wball pushed to main at wball/dotfiles 2025-11-21 16:10:45 -08:00
ad11a7d645 idk
3d3ed97a33 bluetooth scripts
Compare 2 commits »
wball pushed to main at wball/perga-mode 2025-11-21 16:05:18 -08:00
1aeb015279 refer to forgejo
wball pushed to main at wball/dotfiles 2025-09-26 19:58:33 -07:00
efcfc51e48 cleaned up $HOME some more
f4f42cf08c rename ssh key
0b64fd26aa tidied up and updated nvim config
5357edfbc7 reenable 1password
07ce1a0bfa back to catppuccin
Compare 5 commits »
wball pushed to main at wball/tree-sitter-perga 2025-09-13 06:11:30 -07:00
8771285fb4 slight tweak to grammar to allow \star in addition to \bigstar
wball pushed to main at wball/dotfiles 2025-09-13 06:09:52 -07:00
d0b26a0962 add early init
wball pushed to main at wball/dotfiles 2025-09-13 06:09:28 -07:00
84c722f55a idk
2f0b4895e2 fixed indentation
c5ddcf876f lots of emacs tweaks
Compare 3 commits »
wball pushed to main at wball/perga 2025-09-12 07:04:28 -07:00
781dba167a forgot readme
wball pushed to main at wball/perga 2025-09-12 07:04:09 -07:00
de8ffcb716 minor formatting and README tweaks
wball pushed to main at wball/perga-mode 2025-09-07 18:17:21 -07:00
056bde9eff added README
wball pushed to main at wball/perga-mode 2025-09-07 18:03:36 -07:00
d6c483a39e initial commit
wball created branch main in wball/perga-mode 2025-09-07 18:03:36 -07:00
wball created repository wball/perga-mode 2025-09-07 17:59:04 -07:00
wball pushed to main at wball/dotfiles 2025-08-15 23:36:33 -07:00
ad82b6fc2c separated waybar configs
wball pushed to main at wball/dotfiles 2025-08-13 22:42:58 -07:00
3a3a5c838b remove doom
wball pushed to main at wball/dotfiles 2025-08-13 22:42:24 -07:00
21efe6880f zig
wball pushed to main at wball/perga 2025-08-13 22:41:25 -07:00
0317a71f1c update base
wball pushed to main at wball/fol_idris 2025-08-13 22:40:44 -07:00
7eb7a810d6 auto implicits!
wball pushed to main at wball/dotfiles 2025-08-13 22:26:41 -07:00
6b8a279ded 1password
dc2c9c3093 add zvm to $PATH
6a7c88bc3c switch from straight to package.el
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-08-12 14:19:07 -07:00
53acc291e1 added project for unchanging pages that shouldn't be indexed, like about me and the home page