engelsk
Avatar

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

brettgilio har 0 bidragsydere.
Donationstilbud

Beskrivelse

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.

Team

brettgilio er medlem af 1 team:

Avatar

orcircd

A modern, high-performance IRC server (ircd)

Bidragsydere
0
Indkomst
0,00 US$
per uge
Medlemmer
1

Historie

brettgilio tilmeldte sig for 4 år siden.

Indkomst per uge (i amerikansk dollar)

Antal bidragsydere per Uge