项目分类

韩服《仙境传说》（kRO）的非官方英文本地化翻译项目。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

NSA 开源的软件逆向工程框架，提供反汇编、反编译等全套分析工具，用于分析多平台下的二进制编译代码。

〔中文简介暂未生成〕 Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

针对 Apple Silicon 优化的推理引擎，支持 STQ 和 EXL3 格式高品质量化模型。

scalac-scoverage-plugin 是一个 Scala 代码覆盖率核心工具库。它解决了传统行覆盖率难以准确衡量 Scala 单行多语句/多分支代码的问题，核心提供**语句覆盖率**与**分支覆盖率**统计，并内置报表生成工具，支持与 sbt、Maven 等构建工具集成。

一个面向所有人的开源机器学习与深度学习框架，支持构建、训练及分布式部署神经网络模型。

C 语言编写的 MoE 分层推理引擎，按热度在 GPU、RAM 与 NVMe 间调度专家权重。

Squeal 是一个面向 Haskell 的 PostgreSQL 强类型嵌入库。它把 SQL 语法与模式（Schema）深度映射到 Haskell 类型系统，解决传统字符串 SQL 缺乏编译期校验、易出错的问题。 其核心功能包括： 1. **类型安全**：全面覆盖 DDL、DQL 与 DML，在编译期校验字段、NULL、主外键等约束。 2. **泛型编解码**：基于 `generics-sop` 自动转换 Haskell 记录与 SQL 参数/结果。 3. **完善生态**：支持连接池、事务、迁移及原生 SQL 逃逸机制。

Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类（如 EitherT、StateT 等）。它解决了多变换器同时引入时隐式转换产生二义性的问题，让开发者能在作用域内安全混用多种变换器，并配套提供了便于测试类型类实现的定律支持。