Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
compose-html-material
Compose HTML Material 3 wrapper components based on Material Web
compose-multiplatform-material
Unified Compose Multiplatform common extensions and Material wrappers for `androidx.compose` and Compose HTML
exposed-adt-mapping
A library based on Exposed DSL providing mappings between data entities and tables with support for GADT (generalized algebraic data type), aka features including nested properties of composite class types, type parameters, and sealed classes
exposed-vertx-sql-client
Exposed on top of Vert.x Reactive SQL Client
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
java-kotlin-guide-chinese
一个面向Kotlin的Java与Kotlin中文入门指南
python-learning-chinese
中文Python学习指南
FrameworkBenchmarks
Source for the TechEmpower Framework Benchmarks project
ShreckYe's Repositories
ShreckYe/python-learning-chinese
中文Python学习指南
ShreckYe/java-kotlin-guide-chinese
一个面向Kotlin的Java与Kotlin中文入门指南
ShreckYe/asynchttpserver
A simple and lightweight asynchronous HTTP server library based on Netty for Java
ShreckYe/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
ShreckYe/calypso-installation-china
**Calypso安装、更新教程及问题解决方案
ShreckYe/google-code-jam
Some of my Google Code Jam practice and competition code
ShreckYe/Huawei-Code-Craft-2019
Java code for the Huawei Code Craft 2019 competition
ShreckYe/jgrapht-memory-efficient-bipartite-graph
A memory-efficient matching algorithm (Kuhn–Munkres and Hopcroft–Karp) implementation based on JGraphT in Java
ShreckYe/python-to-kotlin-migration
A guide on migration from Python to Kotlin (for JVM) mainly for data processing tasks
ShreckYe/simple-git-guide-chinese
中文Git与GitHub简单入门指南
ShreckYe/agda-cubical
An experimental library for Cubical Agda (Shreck Ye's fork)
ShreckYe/android-dev-challenge-compose-week-2-countdown-timer
Android Dev Challenge: Week 2 - Countdown timer
ShreckYe/android-dev-challenge-compose-week-3-speed-round
Android Dev Challenge: Week 3 - Speed round
ShreckYe/arend-tutorial-exercise-solutions
Arend Tutorial exercise solutions
ShreckYe/Brotli4j
Brotli4j provides Brotli compression and decompression for Java.
ShreckYe/ChinaVis
ShreckYe/computer-tests-and-benchmarks-jvm
Simple useful computer tests and benchmarks on JVM
ShreckYe/configure-my-ubuntu
Files to configure my Ubuntu OS
ShreckYe/Fancy-Words-web
A wordbook web app intended for keeping and strengthening one's vocubulary
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
ShreckYe/kotlin-jvm-benchmarks
Some Kotlin JVM benchmarks
ShreckYe/kotlin-multiplatform-js-not-mangled-issue
ShreckYe/kotlin-web-site-cn
Kotlin 语言中文站
ShreckYe/KT-54182
ShreckYe/leetcode-solutions-kotlin
Some LeetCode solutions written in Kotlin scripts
ShreckYe/multi-project-same-name-maven-publish-gradle-issue
ShreckYe/plfa.github.io
An introduction to programming language theory in Agda
ShreckYe/presentations
ShreckYe/query-flooding-based-resource-sharer
A very simple P2P resource sharing program based on query flooding in Kotlin
ShreckYe/ShreckYe