Skip to content

@Deducteam Deducteam

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@RustyCobalt36
Rusty RustyCobalt36
@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.

ENS Paris-Saclay Paris, France

@mavant
Matthew Avant mavant

New York, NY

@boozec
Santo Cariotti boozec
hackin' on web browsers

Bologna, Italy

@Karnaj
Karnaj
@matematiflo
Florent Schaffhauser matematiflo

Heidelberg University Heidelberg

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Japan

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@exxjob
exxjob
i have no mouth and i must beatbox
@eurisko-info-lab
eurisko-info-lab
@ligurio
Sergey Bronnikov ligurio
I make software suck less in the mother Russia.
@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@vserge
Serge Volkov vserge

Smart Innovative Building Solutions Moscow

@khammami
Khalil Hammami khammami

@exydev Tunisia

@frgilber
frgilber
@sacerdot
Claudio Sacerdoti Coen sacerdot

Alma Mater Studiorum - Universitá di Bologna Bologna (Italy)

@beike-zh
beike-zh
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@bond15
bond15
Formal Methods Research Scientist @ Two Six

Two Six Labs Seattle Washington

@ManuelEberhardinger
Manuel Eberhardinger ManuelEberhardinger

HdM Stuttgart