leanprover-community
Users following leanprover-community
Gabriel Silva
SoftwrDev
I like studying programming and foreign languages. プログラミングや言語の勉強も大好きです．Ich glaube Sprache lernen ist zu toll und Ich willst viel Sprachen zu lerne.
São Paulo, Brazil
Dongjae Lee
duncan020313
Graduate Student at the School of Computing, KAIST
KAIST ProsysLab Daejeon, South Korea
Narazaki, Shuji
shnarazk
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣0️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring
🤷 Japan, Asia
Vincent Kuhlmann
vkuhlmann
Student MSc Computing Science & MSc Mathematics (also BSc Physics), just making what I privately need, and exploring new things
Utrecht, The Netherlands
Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
Tci Gravifer Fang
Gravifer
Stars are manual not crawled;
it's just mark-and-recapture searching.
Tsinghua University Beijing
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/ML 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
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
PreviousNext