lua-vr Follow 
Adam Porter alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc.
USA
Oliver Nash ocfnash
Deputy Director of Operations for Joint Systems Interdepartmental Operational Command
Dublin, Ireland
musikinformatik
Public algorithm library mostly for SuperCollider, but tending towards polyglottism
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance
Research Scientist NYC
Daniel Smania SmaniaD
I am a Full Professor of the Department of Mathematics at ICMC–USP, Brazil. I am an amateur programmer, coding mostly for fun in C, C++, JavaScript and Python.
Universidade de Sao Paulo Sao Carlos-SP, Brazil
Nuances USP Nuances-USP
Nuances is a collective of queer people/students of University of São Paulo - São Carlos
Brazil
Rithya Kunnawalkam Elayavalli rkunnawa
Assistant Professor of Physics at Vanderbilt University
Vanderbilt University Nashville, TN
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
