leanprover-community
Adam White
adam0white
— Senior Software Development Engineer In Test with Generative AI focus.
— Living in the USA.
— Love giving back to the open source community.
USA
Unchun Yang
ucyang
I am a software engineer who loves the free and open-source software (FOSS) ecosystem. My broad interests include AI, cybersecurity, and quantum computing.
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Jesse Moses
Cre4T3Tiv3
AI Engineer | Temporal Intelligence | Building next-gen AI/ML | Mathematical Foundations → Practical Engineering
Robert Culling
4malmafm8ix
Mathematics teacher with interests in logic, type theory, and functional programming.
ADA
ADA-Projects
Hi! I'm Alessandro, PhD mathematician turned ML engineer. I build production-ready AI systems for real-time and data-driven applications. Welcome to my GitHub!
Anibal M. Medina-Mardones
ammedmar
Assistant Professor - Topology
Western University London, ON, Canada
Krutarth Parmar
kayo09
https{:}//upload.wikimedia.org/wikipedia/commons/thumb/5/55/Emblem_of_India.svg/250px-Emblem_of_India.svg.png
<3
The Vinh LUONG (LĆŻĆ NG Tháşż Vinh)
TheVinhLuong102
Head of Product @aitomatic. Co-creator/developer of OpenSSA. Robotics, AI & IoT Educational Program Leader @STEAMforVietnam. Robotics/AI coach & OSS dev.
@Aitomatic; @steamforvietnam San Francisco Bay Area, CA, USA
Linyi Wang
yuanxiaoyi1030
Shanghai Jiao Tong University major in mathematics
Shanghai Jiao Tong University Shanghai
Eduardo dos Santos Ferreira 🇧🇷
EduardoDosSantosFerreira
Técnico de TI da WG Convênios.ㅤㅤTécnico de DS da Ajuda Cidadão.ㅤEngenheiro de Software.ㅤㅤDesenvolvedor Fullstack.ㅤㅤㅤㅤㅤ
Arquiteto de Software.
WG ConvĂŞnios SĂŁo Paulo | Brasil
Jonathan Washburn
jonwashburn
Artist, entrepreneur, and accidental researcher.
For Riemann and Recognition Science, let's talk at Twitter.com/jonwashburn
Austin, texas
Poom Yimyuean
lebrancconvas
Area of Interest: Web Dev, Game Dev, Data Science, Computer Graphics, Web Automation, Functional Programming, Emulation, Multimedia, and Language Learning.
Work from Any Workplace {"Thailand": ["Bangkok", "Surat Thani"]}
Oliver Soeser
oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.
Edinburgh, Scotland
Dan G
freemvmt
freelance software engineer, researcher, organiser | optimistic technopessimist | @foundersandcoders grad | previously realtime data @citymapper
UK
PreviousNext