Alexander Lopez
Student
Bonn, North Rhine-Westphalia, Germany
Summary
🤩
RockstarAlexander Lopez is a mathematics student based in Bonn with five years of hands-on experience tinkering with software projects and exploratory coding. He enjoys experimenting with fun, practical tools and approaches, often blending mathematical thinking with playful engineering. Though still early in his formal career, he brings a curious, self-driven mindset and a track record of independent projects on GitHub that reflect rapid learning and prototyping. Comfortable moving between theory and implementation, he’s adept at turning abstract problems into working code and enjoys collaborating on creative technical challenges.
5 years of coding experience
Github Skills (7)
math-library10
rust6
game-development6
game-engine5
bevy5
open-source5
react3
Programming languages (4)
Github contributions (5)
AlexBrodbelt/DicksonsClassificationTheorem
Feb 2025 - Dec 2025
Contributions:1 review, 1 PR, 84 pushes in 10 months
AlexBrodbelt/mathlib4AlexBrodbelt
Aug 2024 - Jun 2026
The math library of Lean 4
Contributions:9 pushes, 2 branches in 1 year 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.