Gregory Casamento
gcasa
I am the lead developer of the GNUstep project. I have doing development since I was very young. I am an expert at C, ObjC, C++ and many other languages.
Open Logic Corporation Laurel, MD
Quentin Mathé
qmathe
Freelance mobile & full-stack developer. Working on Toukan, a vector graphics editor built for generative design.
Toukan Toulouse, France
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Simon Ser
emersion
I work on open-source software.
Most of my other contributions are on Codeberg and gitlab.freedesktop.org.
France
The Links Programming Language
links-lang
Links is a functional programming language designed to make web programming easier.
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Jason Hu
HuStmpHrrr
Applied scientist at AWS;
PhD from McGill University;
MMath from University of Waterloo;
https://gitlab.com/JasonHuZS
AWS Seattle, WA
Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Mario Guzman
marioaguzman
Maker of Music Widget, Music MiniPlayer, Music Remote & QuickTune for Apple Music on macOS.
Maker of PDX Transit for macOS, iOS, and watchOS.
Portland, Oregon
PreviousNext