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

unhost

Static git pages generated by daemon

org-webring

Static RSS/ATOM webring generator for Org-mode

orcircd

A modern, high-performance IRC server (ircd)

Activity

1d4c0d5 Add LOGO and FAVICON

4 months ago via unhost

5e17f1f Add README

4 months ago via unhost

9f5f057 Add LICENSE

4 months ago via unhost
~brettgilio/unhost

New git repository added

4 months ago via unhost

8a35e97 Mention EmacsConf in README

4 months ago via org-webring

cc46df8 v -> 2.0.0

4 months ago via org-webring

cc46df8 v -> 2.0.0

4 months ago via org-webring

fe7440e v -> 1.9.8-rc4

5 months ago via org-webring

fe7440e v -> 1.9.8-rc4

5 months ago via org-webring

77a6133 Create a variable for the attribution prefix text.

5 months ago via org-webring

2bc2e74 Set ox-hugo preemption fallback for < 27.x

5 months ago via org-webring

00b1e8f Work around let-binding bias.

5 months ago via org-webring

dce3d16 Work around let-binding bias.

5 months ago via org-webring

dfb513b Allow override of time encoding locale.

5 months ago via org-webring

8454a36 v -> 1.9.7-rc3

5 months ago via org-webring
1 / 20