jonsterling
Follow
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, sr.ht 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
Paul Lessard
PaulLessard
Currently based in Melbourne, Victoria, Australia.
I'm a Principal Scientist - Categorical Deep Learning - @ Symbolica
Symbolica USA
PreviousNext