~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.

orc

A modern high-performance IRCd server

org-webring

Static RSS/ATOM webring generator for Org-mode

Activity

0b9eb73 Reverse ERR MSG and URL in ERROR-CONDITION

14 hours ago via org-webring

60eecf2 Remove TODO for MELPA

a day ago via org-webring

f631796 Remove TODO for MELPA

a day ago via org-webring

34b7cab Remove TODO for MELPA

a day ago via org-webring

f560c7f Remove TODO for MELPA

a day ago via org-webring

6385d1c Remove TODO for MELPA

a day ago via org-webring

495d317 Remove TODO for MELPA

a day ago via org-webring

639a85d Remove TODO for MELPA

a day ago via org-webring

c030c89 Remove TODO for MELPA

a day ago via org-webring

1a12675 Support atom feeds that use raw html in content

a day ago via org-webring

ad4f3a9 Update project description.

a day ago via org-webring

cd8987e Update project description.

a day ago via org-webring

dcce737 Update project description.

a day ago via org-webring

e8c7ddd Update project description.

a day ago via org-webring

92b81fb Gracefully fail XML parsing errors.

a day ago via org-webring
1 / 8