inglés
Avatar

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

brettgilio tiene 0 mecenas.
Prometer donar

Descripción

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.

Equipos

brettgilio es miembro de 1 equipo:

Avatar

orcircd

A modern, high-performance IRC server (ircd)

Mecenas
0
Ingresos
$0.00
por semana
Miembros
1

Historial

brettgilio se unió hace 4 años.

Ingresos Semanales (en dólar estadounidense)

Número de Mecenas Por Semana