Skip to content
View ShreckYe's full-sized avatar
40 followers · 175 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@aya-prover @huanshankeji
Block or Report

Block or report ShreckYe

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 bachelor in mathematics and software engineering.

  • 🔭 I’m currently working on efficient full stack app development with Kotlin Multiplatform (mainly Vert.x and Compose Multiplatform).
  • 🌱 I’m currently learning programming language theory and category theory, taking Haskell, Agda, and Arend as my main tools. To be more precise, I am now studying Category Theory for Programmers I, II, and III by Bartosz Milewski, Cubical Agda, and Arend Tutorial.
  • 👯 I’m looking to collaborate on Kotlin full stack development in Chengdu.
  • 💬 Ask me about full stack app development with Kotlin, JVM development, programming languages, and proof assistants.
  • 📫 How to reach me: send me a message on my LinkedIn profile.

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

  1. huanshankeji/compose-multiplatform-material huanshankeji/compose-multiplatform-material Public

    Unified Compose Multiplatform Material Design components for `androidx.compose` and Compose HTML

    Kotlin 11

  2. huanshankeji/compose-html-material huanshankeji/compose-html-material Public

    Material 3 wrapper components for Compose HTML based on Material Web

    Kotlin 18

  3. TechEmpower/FrameworkBenchmarks TechEmpower/FrameworkBenchmarks Public

    Source for the TechEmpower Framework Benchmarks project

    Java 7.4k 1.9k

  4. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant

    Java 248 16

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

    Exposed on top of Vert.x Reactive SQL Client

    Kotlin 3

  6. huanshankeji/exposed-adt-mapping huanshankeji/exposed-adt-mapping Public

    A library based on Exposed DSL providing mappings between data entities and tables with support for GADT (generalized algebraic data type), aka features including nested properties of composite cla…

    Kotlin