😁
Hello!
I like type theory and all that. I do most of my code on Codeberg
- Argentina
- https://codeberg.org/Bowuigi
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Facultad de Matemática, Astronomía, Física y Computación - NO OFICIAL
famaf
Repositorios de las Materias de la carrera Licenciatura en Ciencias de la Computacion en FaMAF
Córdoba, Argentina
Aaron Stump
astump
I am a professor of Computer Science at Boston College.
Boston College Chestnut Hill, MA
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Greg Pfeil
sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
independent consultant Boulder, CO, USA
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
hughbarney
I was introduced to MicroEmacs 3.10 in 1990 and immediately felt it was the text editor I'd always wanted. Small Emacsen have always been a bit of an obsession.
Slips
Slips-PC
I don't use this site unless i'm making bug reports.
DN Incorporated Your mom's house
Anna Aurora Kitsüne
auroraanna
just forks of projects hosted on github, own projects are on https://codeberg.org/annaaurora
Germany
Hugo Locurcio
Calinou
Developer for @godotengine. Hobby open source game developer and modder.
@godotengine Troyes, France