Luigi Mangione
lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania
AppRoar Studios
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Alexandre Garcia de Oliveira
romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle
Formal Land - Romefeller - Fatec Rubens Lara
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Jonas Termansen
sortie
Google
Self-hosting hobbyist operating system developer, bachelor of computer science
Nicholas Chambers
uplime
IRL NPC. A sysadmin curious about shells and X509.
Lightspeed Systems Austin, Texas
Wolf
wylfen
I use this god-forsaken site only to contribute to other projects. Please consider moving your projects off of here.
libera.chat: wolf