Shreck Ye's Projects
An experimental library for Cubical Agda (Shreck Ye's fork)
Android Dev Challenge: Week 2 - Countdown timer
Android Dev Challenge: Week 3 - Speed round
Arend Tutorial exercise solutions
A simple and lightweight asynchronous HTTP server library based on Netty for Java
Brotli4j provides Brotli compression and decompression for Java.
**Calypso安装、更新教程及问题解决方案
Simple useful computer tests and benchmarks on JVM
Files to configure my Ubuntu OS
Solutions for Programming Assignments in Courses 1-4 of the Coursera Algorithms Specialization offered by Stanford written in Kotlin scripts
A wordbook web app intended for keeping and strengthening one's vocubulary
Some of my Google Code Jam practice and competition code
Java code for the Huawei Code Craft 2019 competition
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的Java与Kotlin中文入门指南
A memory-efficient matching algorithm (Kuhn–Munkres and Hopcroft–Karp) implementation based on JGraphT in Java
Some Kotlin JVM benchmarks
Kotlin 语言中文站
Some LeetCode solutions written in Kotlin scripts
An introduction to programming language theory in Agda
中文Python学习指南
A guide on migration from Python to Kotlin (for JVM) mainly for data processing tasks
A very simple P2P resource sharing program based on query flooding in Kotlin
四川大学新版教务系统Python评教脚本(基于Selenium包)