Skip to content
View ShreckYe's full-sized avatar
78 followers · 315 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@aya-prover @huanshankeji

Block or report ShreckYe

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ShreckYe/README.md

Hi there 👋 I am Yongshun "Shreck" Ye

I am a Kotlin full-stack developer and a programming language theory (functional programming, type theory, formal math, etc.) enthusiast.

  • 🔭 I���m currently working on full-stack multiplatform app development with Kotlin Multiplatform and Vert.x in @huanshankeji.
  • 🌱 I’m currently learning programming language theory and category theory, taking Haskell, Agda, Lean 4, and Arend as my main tools.
  • 👯 I’m looking to collaborate on developing multiplatform applications and open-source libraries with Kotlin full-stack technologies. Check out @huanshankeji for our open-source projects and contact me if you are interested in our apps.
  • 💬 Ask me or communicate with me about full-stack app development with Kotlin, JVM development (Kotlin, Scala, and Java), build tools such as Gradle, programming languages, and proof assistants.
  • 📫 How to reach me: send me an email at shreckye[at]gmail[dot]com.

Shreck Ye's GitHub stats

My GitLab profile

My Codewars profile

profile for Shreck Ye on Stack Exchange, a network of free, community-driven Q&A sites

Pinned Loading

  1. huanshankeji/compose-multiplatform-html-unified huanshankeji/compose-multiplatform-html-unified Public

    Unified Compose Multiplatform wrappers of common and Material Design APIs for rendering-based Compose UI and DOM-based Compose HTML

    Kotlin 30 1

  2. huanshankeji/exposed-vertx-sql-client huanshankeji/exposed-vertx-sql-client Public

    Execute Exposed statements with Vert.x Reactive SQL Client

    Kotlin 10

  3. TechEmpower/FrameworkBenchmarks TechEmpower/FrameworkBenchmarks Public archive

    Source for the TechEmpower Framework Benchmarks project

    C++ 8.1k 2k

  4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 4k 1.6k

  5. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant and a dependently-typed language

    Java 363 21

  6. com-lihaoyi/mill com-lihaoyi/mill Public

    A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools

    Scala 2.8k 444