Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
Highlights
- Pro
Jason Zhu
JasonZhu314
Sophomore at School of Mathematical Science, Peking University. Obsessed with computational science and AI.
Peking University, SMS Beijing, China
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
Rix Mape
rixmape
I'm a professorial lecturer in the Department of Computer Science, College of Science, Bicol University.
Bicol University Bicol, Philippines
Triet Trinh
trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote
ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʔ-̫͡-ʔ
Tci Gravifer Fang
Gravifer
Stars are manual not crawled;
it's just mark-and-recapture searching.
Tsinghua University Beijing
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!
Christian Vuye
christianvuye
AI Agent Fleet Commander 🫡Engineering ★Manager★ software architect ⾕ verifier of ai agents 🤖 yolo-mode 💀 developing good taste 🍽️ token 𝕄𝕒𝕩
Jonathan Washburn
jonwashburn
Artist, entrepreneur, and accidental researcher.
For Riemann and Recognition Science, let's talk at Twitter.com/jonwashburn
Austin, texas
Jacob Edenhofer
jacob-edenhofer
DPhil student in Politics, University of Oxford
University of Oxford, Nuffield College Oxford
Piyush R. Maharana
catastropiyush
Project Associate-I, CSIR-NCL
Computational Physicist
CSIR NCL Pune
Oliver Soeser
oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.
Edinburgh, Scotland
PreviousNext