pelicanÂ
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.
1 year of coding experience
Github Skills (6)
in-progress10
computer-algebra-system9
mathematics9
computer-algebra8
theorem-proving8
math7
Programming languages (1)
Github contributions (5)
Thmoas-Guan/Iwasawa_algebra
Oct 2024 - Dec 2024
Contributions:37 pushes in 2 months
pelicanhere/mathlib4_stacks_project_field_new
Aug 2024 - Aug 2024
feat(Field): add theorems in Stacks Project Chapter 09FA Fields
Contributions:4 PRs, 27 pushes, 9 branches in 4 days
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.