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/perga 2024-11-14 19:57:13 -08:00
3715773adc more tests and minor cleanup
wball pushed to main at wball/perga 2024-11-12 11:32:19 -08:00
f9e70ca131 reorganized and started working on unit tests
wball pushed to main at wball/perga 2024-11-12 09:19:59 -08:00
aa05f3025e updated README
wball pushed to main at wball/perga 2024-11-12 01:23:51 -08:00
9e390c0ab6 testing to see if forgejo will render the LaTeX in markdown
wball created branch main in wball/perga 2024-11-12 01:05:53 -08:00
wball pushed to main at wball/perga 2024-11-12 01:05:53 -08:00
05ab942400 added README
84d00a1fb8 improved error messages
8de133095d renamed project
80fb0e8760 findType passing every test I've thrown at it!
39cab7fd3d fixed a sneaky parser bug
Compare 10 commits »
wball created repository wball/perga 2024-11-12 01:04:45 -08:00
wball pushed to main at wball/GroupTheory 2024-10-22 15:05:55 -07:00
64317340dd fixed link in README
wball created branch main in wball/GroupTheory 2024-10-22 15:05:02 -07:00
wball pushed to main at wball/GroupTheory 2024-10-22 15:05:02 -07:00
59f365a261 initial commit
wball created repository wball/GroupTheory 2024-10-22 14:48:37 -07:00
wball pushed to main at wball/Category-Theory 2024-10-13 22:20:07 -07:00
7841632fb6 initial/terminal objects and products
wball created branch main in wball/Category-Theory 2024-10-13 19:36:18 -07:00
wball pushed to main at wball/Category-Theory 2024-10-13 19:36:18 -07:00
ee65359304 added license
1be6e06756 initial commit
wball created repository wball/Category-Theory 2024-10-13 19:33:22 -07:00
wball pushed to main at wball/dotfiles 2024-10-08 21:48:52 -07:00
a04992ea8b optimized loading a bit
wball pushed to main at wball/dotfiles 2024-10-06 16:41:20 -07:00
44625f1ccf completely rewrote neovim config
48ec97775b fish stuff
Compare 2 commits »
wball pushed to main at wball/dotfiles 2024-09-09 22:49:33 -07:00
70fdabf007 metamath
7a6ee2ba40 improved books and papers scripts for GNOME
5d7e3b92b2 make autopairs better for lisp
Compare 3 commits »
wball pushed to main at wball/dotfiles 2024-09-02 21:55:48 -07:00
4a5cd2f8f7 no more catppuccin, also added tmux-which-key
603b2c92d8 back on fedora, so switched to adwaita.nvim
c10241632e reorganized misc
Compare 3 commits »
wball pushed to main at wball/dotfiles 2024-08-31 13:12:32 -07:00
7cb90a8687 gtk bookmarks
ee23f6e4bb formatting
Compare 2 commits »