nachivpn
Follow
Agda Github Community
agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Jason Hu
HuStmpHrrr
Applied scientist at AWS;
PhD from McGill University;
MMath from University of Waterloo;
https://gitlab.com/JasonHuZS
AWS Seattle, WA
Robert Krook
Rewbert
PhD student at Chalmers University of Technology.
Compilers, IoT, Languages, Testing
Chalmers University of Technology Gothenburg
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
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
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
