shreckye/iot-smart-little-car-raspberrypi

An IoT smart little car that supports remote control, video feedback, image capture, and image recognition, with its Raspberry Pi server written in Kotlin and Python and its Android client written in Kotlin

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.

My GitLab profile