Engels
Avatar

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

brettgilio heeft 0 donateurs.
Toezeggen

Beschrijving

Welcome to the personal website of Brett Gilio. I am a 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.

Teams

brettgilio is lid van het 1 team:

Avatar

orcircd

A modern, high-performance IRC server (ircd)

Donateurs
0
Inkomen
US$ 0,00
per week
Leden
1

Geschiedenis

brettgilio werd 4 jaar geleden lid.

Inkomen per week (in Amerikaanse dollar)

Aantal donateurs per week