https://github.com/shreckye/shreckye

https://github.com/shreckye/shreckye

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/shreckye/shreckye
• Owner: ShreckYe
• Created: 2020-12-18T11:16:42.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2025-06-25T08:58:15.000Z (about 1 year ago)
• Last Synced: 2025-06-29T18:52:27.082Z (about 1 year ago)
• Size: 31.3 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
### 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](https://kotlinlang.org/docs/multiplatform.html) (mainly [Vert.x](https://vertx.io/) and [Compose Multiplatform](https://www.jetbrains.com/lp/compose-multiplatform/)) in [@huanshankeji](https://github.com/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](https://github.com/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](https://github-readme-stats.vercel.app/api?username=ShreckYe&count_private=true&show_icons=true)

**[My GitLab profile](https://gitlab.com/ShreckYe)**

[![My Codewars profile](https://www.codewars.com/users/ShreckYe/badges/large)](https://www.codewars.com/users/ShreckYe)