~brettgilio

Missouri, USA

https://brettgilio.com/

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.

orcircd

A modern, high-performance IRC server (ircd)

org-webring

Static RSS/ATOM webring generator for Org-mode

Activity

e9d9374 Clarify LICENSE on index page.

7 hours ago via orcircd

6922de5 Change LICENSE

7 hours ago via orcircd
~brettgilio/orcircd-rpm

New git repository added

2 days ago via orcircd

3bcde15 Add stylesheets.

3 days ago via orcircd

4b4aecd Add donation_receiving script.

3 days ago via orcircd

2a40847 Add new pages.

3 days ago via orcircd

368afb7 Simplify grammar in installation instructions

3 days ago via orcircd

ffe3632 Revise deploy target in Makefile

3 days ago via orcircd

88fc7c3 move README.org and fix LICENSE alt.

3 days ago via org-webring

244d611 Modify README to declare Soupault

3 days ago via orcircd

204ee22 Add templates folder.

3 days ago via orcircd

64bbfc5 Remove quick-links widget.

3 days ago via orcircd

8d7908b Add more dependencies in README

3 days ago via orcircd

cd7a2ce Add plugins.

3 days ago via orcircd

00652cc Add instructions section in README

3 days ago via orcircd
1 / 15