английский
Аватар

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 $
в неделю
Участники
1

История

brettgilio присоединился 4 года назад.

Доход за неделю (в доллар США)

Количество спонсоров в неделю