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

org-webring

Static RSS/ATOM webring generator for Org-mode

orcircd

A modern, high-performance IRC server (ircd)

Activity

87cf214 v -> 1.9.6-rc2

9 days ago via org-webring

87cf214 v -> 1.9.6-rc2

9 days ago via org-webring

4733f27 More support for webkit CSS.

9 days ago via org-webring

f6fa528 Truncate long syndicate names

10 days ago via org-webring

a38c7d0 Fix CSS formatting for iOS and Webkit.

10 days ago via org-webring

2234876 Revert "Modify installation documentation."

10 days ago via org-webring

3b7ec14 Modify installation documentation.

10 days ago via org-webring

e5f46fd Add autoload cookies.

10 days ago via org-webring

d2b72f0 v -> 1.9.5-rc1

10 days ago via org-webring

d2b72f0 v -> 1.9.5-rc1

10 days ago via org-webring

0c16f12 Fix some documentation.

10 days ago via org-webring

3889464 More clarification in error catching.

10 days ago via org-webring

163fe2a v -> 1.9.4

10 days ago via org-webring

1d17986 Catch RFC 2822 datum errors.

10 days ago via org-webring

c38349b Make unpinned hover color more subtle.

11 days ago via org-webring