англійська
Аватар

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

У brettgilio є 0 спонсорів.
Зобов'язання

Опис

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.

Команди

brettgilio є учасником 1 команди:

Аватар

orcircd

A modern, high-performance IRC server (ircd)

Спонсори
0
Надходження
0,00 USD
на тиждень
Учасники
1

Історія

brettgilio приєднався 4 роки тому.

Надходжень на тиждень (у долар США)

Кількість спонсорів на тиждень