Mauricio Canul
MACQ25
Aspiring Software Developer, looking to get involved in more projects and get more experience.
Quantify Earth
quantifyearth
Quantifying environment data around the globe, by the Cambridge Conservation Initiative at the University of Cambridge.
United Kingdom
Siddhi Agrawal
Siddhi-agg
Outreachy '24 @ocaml-api-watch | Flutter Developer | ML | Tech Enthusiast
India
Odinaka Joy
dinakajoy
Software Engineer || Public Speaker || Mentor.
Mastering - Technical Writing | Content Creation
AcceleratorApp Nigeria
David MacQueen
dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
University of Chicago Los Gatos, CA
Jakub Fiala
jakubfiala
web / audio / machine learning / algorithmic art / cyberspace psychomagick
// CEO @hermetechnics
doing my own thing Berlin, Germany
Rano | Ranadeep
rnbguy
blockchain security | automated testing | formal methods
@informalsystems Paris, France
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Wolfgang Jeltsch
jeltsch
I’m passionate about functional programming, logic, type theory, category theory, and more.
@well-typed Tallinn, Estonia
PreviousNext