Yongshun Ye
Co-founder & Chief Developer at Chengdu Huanshan Technology Co., Ltd.
Chengdu, Sichuan, China
Summary
🤩
Rockstar🎓
Top SchoolYongshun Ye is a Kotlin full-stack developer and co-founder serving as Chief Developer at Chengdu Huanshan Technology, bringing nine years of hands-on experience building product-facing systems. He combines practical engineering leadership with deep interests in programming language theory, functional programming, and type theory—skills he applies to rigorous work such as formalizing Olympiad-level math in Lean 4. Educated in both mathematics and computer software engineering at Sichuan University, he bridges formal methods and applied software to deliver robust, well-reasoned solutions. His background includes AI education program support and data annotation/proof engineering, reflecting a blend of technical, instructional, and cross-cultural collaboration experience. Based in Chengdu, he maintains an active GitHub presence and favors mathematically grounded, verifiable approaches to software design.
9 years of coding experience
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Sichuan University
English, Chinese
Stackoverflow
1,779reputation
297kreached
13answers
36questions
Github Skills (154)
material-web-components10
datetime10
programming-language10
benchmark10
kotlin-language10
material310
agda10
material-you10
maven-plugin10
automation10
kotlin-library10
kotlinx10
compose-desktop10
jetbrains-compose10
maven10
Programming languages (15)
Github contributions (5)
huanshankeji/FrameworkBenchmarks
Jan 2022 - May 2026
Source for the TechEmpower Framework Benchmarks project (Huanshankeji's fork)
Contributions:15 reviews, 11 PRs, 218 pushes in 4 years 5 months
benchmarktechempowerbenchmarks
huanshankeji/gradle-common
May 2022 - Dec 2022
Huanshankeji's common Gradle code (in and for Kotlin)
Contributions:36 releases, 5 reviews, 129 commits in 8 months
gradlekotlingradle-kotlin-dslgradle-pluginkotlin-library
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.