搜索结果：epfl（4 个）
按分类缩小范围
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
scala3
综合 61
scala3（曾用名 Dotty）是 Scala 3 编程语言的官方开源仓库。它主要解决了 Scala 语言的现代化演进问题，核心包含了 Scala 3 的官方编译器、标准库及语言规范，为开发者提供编译执行 Scala 3 代码的完整基础工具链支持。
gears
综合 49
Gears 是面向 Scala 3 的实验性底层异步编程库。它主要解决并发编程复杂及计算泄漏问题，支持使用 `.await` 直接调用异步函数的直观编程风格；提供结构化并发与非结构化外部事件处理工具；并跨平台支持 JVM (>=21)、Scala Native 与 Scala.js (Wasm)。
scala3-example-project
综合 44
scala3-example-project 是一个基于 sbt 构建的 Scala 3 示例项目。它主要解决开发者快速上手或迁移到 Scala 3 的环境配置问题。核心功能是提供开箱即用的标准配置，支持直接使用 sbt 进行编译、运行、测试及启动交互式 REPL，并附带项目搭建与配置调整指引。