Shreck Ye's repositories
python-learning-chinese
中文Python学习指南
java-kotlin-guide-chinese
一个面向Kotlin的Java与Kotlin中文入门指南
asynchttpserver
A simple and lightweight asynchronous HTTP server library based on Netty for Java
coursera-stanford-algorithms-solutions-kotlin
Solutions for Programming Assignments in Courses 1-4 of the Coursera Algorithms Specialization offered by Stanford written in Kotlin scripts
calypso-installation-china
**Calypso安装、更新教程及问题解决方案
google-code-jam
Some of my Google Code Jam practice and competition code
Huawei-Code-Craft-2019
Java code for the Huawei Code Craft 2019 competition
jgrapht-memory-efficient-bipartite-graph
A memory-efficient matching algorithm (Kuhn–Munkres and Hopcroft–Karp) implementation based on JGraphT in Java
python-to-kotlin-migration
A guide on migration from Python to Kotlin (for JVM) mainly for data processing tasks
simple-git-guide-chinese
中文Git与GitHub简单入门指南
agda-cubical
An experimental library for Cubical Agda (Shreck Ye's fork)
android-dev-challenge-compose-week-2-countdown-timer
Android Dev Challenge: Week 2 - Countdown timer
android-dev-challenge-compose-week-3-speed-round
Android Dev Challenge: Week 3 - Speed round
arend-tutorial-exercise-solutions
Arend Tutorial exercise solutions
Brotli4j
Brotli4j provides Brotli compression and decompression for Java.
computer-tests-and-benchmarks-jvm
Simple useful computer tests and benchmarks on JVM
configure-my-ubuntu
Files to configure my Ubuntu OS
Fancy-Words-web
A wordbook web app intended for keeping and strengthening one's vocubulary
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
kotlin-jvm-benchmarks
Some Kotlin JVM benchmarks
kotlin-web-site-cn
Kotlin 语言中文站
leetcode-solutions-kotlin
Some LeetCode solutions written in Kotlin scripts
plfa.github.io
An introduction to programming language theory in Agda
query-flooding-based-resource-sharer
A very simple P2P resource sharing program based on query flooding in Kotlin