搜索结果：scala（14 个）

NVIDIA 的生成式 AI 框架，专为大语言模型、多模态及语音 AI（ASR 与 TTS）研究与开发打造。

Spark NLP 是基于 Apache Spark 构建的工业级 NLP 与大模型库，解决大规模文本处理在分布式环境中难以扩展的痛点。它提供实体识别、文本分类、问答等功能，内置超 10 万个预训练模型与管道，并支持导入 TensorFlow、ONNX 及 GGUF 模型。

CVPR'25 Spotlight 论文官方仓库，专注于可扩展、通用的 3D 生成。

可扩展的开源游戏后端服务，支持多人联机、匹配、排行榜、聊天及社交功能。

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

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

Kyo 是专为 Scala 3 打造的应用开发工具包。它主要解决副作用管理复杂、容易遗漏错误和资源泄漏等痛点。核心采用代数效应与中缀类型 `A < S`，在编译期强制追踪并检查错误、资源及并发行为；同时提供异步并发、持久化工作流等模块，支持多平台编译。

〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine

香山（XiangShan）是一个基于 Chisel/Scala 的开源高性能 RISC-V 处理器项目。它通过敏捷开发方法，致力于解决高性能开源 RISC-V 芯片设计难题，提供包括昆明湖架构在内的微结构实现，并配套设计、功能验证与性能评估等全套工具流程。

gps-overlay-on-video 是一个用 Scala 开发的桌面工具，主要解决骑行等运动视频缺少实时数据展示的问题。它可以将 GPS 设备（如 Garmin、手机 Strava）记录的遥测数据合成并叠加到视频上，实时显示车速、海拔高度、爬坡坡度及心率区间等仪表盘信息。

安全易用的开源视频会议系统，可作为独立应用使用或嵌入到 Web 项目中。

NotProton 致力于为 macOS 版 Steam 客户端带来类似 Linux 的 Steam Play 体验。它强行激活 Mac 端 Steam 闲置的兼容层功能，并移植部分 Valve Proton 组件，配合 CrossOver（支持 Rosetta 与 FEX）让 Mac 直接下载并运行 Windows 版游戏。注意不支持 VAC 反作弊。

兼容 WebRTC 的视频路由（SFU），用于构建高扩展性视频会议基础设施，单服支持数百场会议。

Game Bub 是一款开源的 FPGA 复古游戏掌机与开发平台，解决传统软件模拟器的延迟与兼容性痛点。它采用 Xilinx FPGA 加 ESP32-S3 架构，支持插真实 GB/GBC/GBA 卡带或从 microSD 卡加载 ROM 游玩，具备联机线联机、底座视频输出及震动/陀螺仪等外设支持，软硬件完全开源可扩展。