Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/shreckye/shreckye

Last synced: about 1 month ago
JSON representation

Host: GitHub
URL: https://github.com/shreckye/shreckye
Owner: ShreckYe
Created: 2020-12-18T11:16:42.000Z (almost 4 years ago)
Default Branch: main
Last Pushed: 2024-08-24T09:53:59.000Z (3 months ago)
Last Synced: 2024-08-24T10:53:23.434Z (3 months ago)
Size: 15.6 KB
Stars: 0
Watchers: 3
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 bachelor in mathematics and software engineering.

- 🔭 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/)).

- 🌱 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](https://agda.readthedocs.io/en/latest/language/cubical.html), and [Arend Tutorial](https://arend-lang.github.io/documentation/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](https://www.linkedin.com/in/shreckye/).

![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)