Skip to content
View ShreckYe's full-sized avatar

Organizations

@aya-prover @huanshankeji

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 full stack multiplatform 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 Loading

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

    Unified Compose Multiplatform common extensions and Material wrappers for `androidx.compose` and Compose HTML

    Kotlin 16

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

    Compose HTML Material 3 wrapper components based on Material Web

    Kotlin 24

  3. TechEmpower/FrameworkBenchmarks TechEmpower/FrameworkBenchmarks Public

    Source for the TechEmpower Framework Benchmarks project

    Java 7.6k 1.9k

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

    A proof assistant and a dependently-typed language

    Java 280 16

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

    Exposed on top of Vert.x Reactive SQL Client

    Kotlin 5

  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 1