Inggeris
Avatar

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

brettgilio mempunyai 0 pelanggan.
Janji

Keterangan

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.

Kumpulan

brettgilio ialah ahli 1 kumpulan:

Avatar

orcircd

A modern, high-performance IRC server (ircd)

Pelanggan
0
Pendapatan
USD0.00
setiap minggu
Ahli
1

Sejarah

brettgilio sertai 4 tahun lalu.

Pendapatan Setiap Minggu (dalam Dolar AS)

Jumlah Penderma Setiap Minggu