一种原型编程语言，具有跟踪新鲜度、共享和分离的多态可达性类型。，
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation., (2023-07-23, Scala, 0KB, 下载0次)
“Scala中的函数编程”一书的代码、练习、答案和提示，
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala ", (2023-06-06, Scala, 0KB, 下载0次)
Vale编程语言编译器-
Compiler for the Vale programming language -
通过Dotty中的元编程解决的各种任务
Various tasks solved via metaprogramming in Dotty (2022-09-12, Scala, 0KB, 下载0次)
ZIO-Scala中用于异步和并发编程的类型安全的可组合库
ZIO — A type-safe, composable library for async and concurrent programming in Scala (2023-06-27, Scala, 0KB, 下载0次)