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.
A modern high-performance IRCd server
Static RSS/ATOM webring generator for Org-mode
0b9eb73 Reverse ERR MSG and URL in ERROR-CONDITION
~brettgilio pushed to ~brettgilio/org-webring git
60eecf2 Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
f631796 Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
34b7cab Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
f560c7f Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
6385d1c Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
495d317 Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
639a85d Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
c030c89 Remove TODO for MELPA
~brettgilio pushed to ~brettgilio/org-webring git
1a12675 Support atom feeds that use raw html in content
~brettgilio pushed to ~brettgilio/org-webring git
ad4f3a9 Update project description.
~brettgilio pushed to ~brettgilio/org-webring git
cd8987e Update project description.
~brettgilio pushed to ~brettgilio/org-webring git
dcce737 Update project description.
~brettgilio pushed to ~brettgilio/org-webring git
e8c7ddd Update project description.
~brettgilio pushed to ~brettgilio/org-webring git
92b81fb Gracefully fail XML parsing errors.
~brettgilio pushed to ~brettgilio/org-webring git