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

~brettgilio/org-webring

Static RSS/ATOM webring generator for Org-mode

~brettgilio/website

Personal website and blog generated with Org-mode.

~brettgilio/orcircd-web

A modern, high-performance IRC server (ircd) [website]

~brettgilio/orcircd-rpm

A modern, high-performance IRC server (ircd) [rpmbuilds]

~brettgilio/orcircd-opam

A modern, high-performance IRC server (ircd) [opam repository]

~brettgilio/orcircd

A modern, high-performance IRC server (ircd)

~brettgilio/ocaml-precis

OCaml implementation of RFC 8264, 8265, and 8266 ("PRECIS")

~brettgilio/ocaml-ident

OCaml implementation of RFC 1413 ("Identification Protocol")

~brettgilio/orcircd-deb

A modern, high-performance IRC server (ircd) [debbuilds]

~brettgilio/orcircd-guix

A modern, high-performance IRC server (ircd) [guix channel]

~brettgilio/orcircd-contrib

A modern, high-performance IRC server (ircd) [contrib modules]