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 (185)
programming-language10
benchmark10
material310
kotlin-language10
agda10
material-you10
python10
mill10
maven-plugin10
zinc10
kotlin-library10
jetbrains-compose10
kotlin-extensions10
gradle-plugin10
javascript10
Programming languages (13)
Github contributions (5)
huanshankeji/compose-multiplatform-html-unified
Nov 2022 - Mar 2023
Unified Compose Multiplatform wrappers of common and Material Design APIs for rendering-based Compose UI and DOM-based Compose HTML
Contributions:7 releases, 1 review, 78 commits in 3 months
compose-androidcompose-desktopcompose-htmlcompose-ioscompose-multiplatform
huanshankeji/.github
Jul 2022 - Feb 2025
Contributions:1 release, 12 reviews, 3 PRs in 2 years 8 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.