Yiming聽Fu
Student
Summary
馃ぉ
Rockstarpelican is an early-career software engineering student with one year of practical experience and a curiosity-driven approach to learning. Although still building a formal portfolio, they are actively engaging with coding and version control as indicated by a GitHub student bio. Pelican brings the adaptability and fresh perspective of a learner, eager to turn academic concepts into real-world projects. They are likely comfortable experimenting with new tools and collaborating in entry-level roles or internships. Expect a motivated teammate who prioritizes growth, hands-on practice, and continuous improvement.
2 years of coding experience
Github Skills (2)
math-library10
programming-language3
Programming languages (2)
Github contributions (5)
pelicanhere/lean-iwasawa
Apr 2025 - Jan 2026
Formalization of Iwasawa Theory in L険标摨N (tentative)
Contributions:34 pushes, 11 branches in 8 months
Thmoas-Guan/Iwasawa_algebra
Oct 2024 - Dec 2024
Contributions:37 pushes in 2 months
Find and Hire Top DevelopersWe鈥檝e 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.