Missouri, USA
Programmer and researcher in compiler construction, formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic software, type safety, and enthusiastically opposing framework-driven programming.
Static git pages generated by daemon
Static RSS/ATOM webring generator for Org-mode
A modern, high-performance IRC server (ircd)
8a35e97 Mention EmacsConf in README
~brettgilio pushed to ~brettgilio/org-webring git
fe7440e v -> 1.9.8-rc4
~brettgilio pushed to ~brettgilio/org-webring git
fe7440e v -> 1.9.8-rc4
~brettgilio pushed to ~brettgilio/org-webring git
77a6133 Create a variable for the attribution prefix text.
~brettgilio pushed to ~brettgilio/org-webring git
2bc2e74 Set ox-hugo preemption fallback for < 27.x
~brettgilio pushed to ~brettgilio/org-webring git
00b1e8f Work around let-binding bias.
~brettgilio pushed to ~brettgilio/org-webring git
dce3d16 Work around let-binding bias.
~brettgilio pushed to ~brettgilio/org-webring git
dfb513b Allow override of time encoding locale.
~brettgilio pushed to ~brettgilio/org-webring git
8454a36 v -> 1.9.7-rc3
~brettgilio pushed to ~brettgilio/org-webring git