https://github.com/huanshankeji/compose-multiplatform-material 的镜像 统一 `androidx.compose` 和 Compose HTML 的 Compose Multiplatform 公共拓展和 Material 包装接口

https://github.com/huanshankeji/compose-html-material 的镜像 基于 Material Web的 Compose HTML Material 3 包装控件

https://github.com/huanshankeji/exposed-vertx-sql-client 的镜像 在 Vert.x 响应式 SQL 客户端上使用 Exposed

https://github.com/huanshankeji/exposed-adt-mapping 的镜像 一个基于 Exposed DSL 提供数据实体和表之间的映射的代码库，支持 GADT（广义代数数据类型），即包括复合类类型的嵌套属性、类型参数和密封类等的特性

https://github.com/huanshankeji/gradle-common 的镜像 环山科技的公共 Gradle 代码（以 Kotlin 编写并为 Kotlin 服务）

四川大学Haskell、函数式编程、与PLT（编程语言理论）交流群