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 IRC server (ircd)
Static RSS/ATOM webring generator for Org-mode
e9d9374 Clarify LICENSE on index page.
~brettgilio pushed to ~brettgilio/orcircd-web git
4b4aecd Add donation_receiving script.
~brettgilio pushed to ~brettgilio/orcircd-web git
368afb7 Simplify grammar in installation instructions
~brettgilio pushed to ~brettgilio/orcircd-web git
ffe3632 Revise deploy target in Makefile
~brettgilio pushed to ~brettgilio/orcircd-web git
88fc7c3 move README.org and fix LICENSE alt.
~brettgilio pushed to ~brettgilio/org-webring git
244d611 Modify README to declare Soupault
~brettgilio pushed to ~brettgilio/orcircd-web git
204ee22 Add templates folder.
~brettgilio pushed to ~brettgilio/orcircd-web git
64bbfc5 Remove quick-links widget.
~brettgilio pushed to ~brettgilio/orcircd-web git
8d7908b Add more dependencies in README
~brettgilio pushed to ~brettgilio/orcircd-web git
00652cc Add instructions section in README
~brettgilio pushed to ~brettgilio/orcircd-web git