搜索结果：scala（54 个）

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

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

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

GitBucket 是一款基于 Scala 的开源 Git 代码托管平台，旨在为开发者提供易安装、轻量级的私有 Git 服务。它兼容 GitHub API，只需 Java 即可运行；核心功能涵盖公私有仓库、代码在线编辑、Issues、PR、Wiki、Git LFS 及插件扩展机制。

Apache OpenWhisk 是一个开源的 Serverless（无服务器）云平台。它让开发者无需管理底层服务器，即可通过 Docker 容器运行函数。其核心功能包括：支持将函数暴露为 API、使用规则和触发器实现事件驱动响应、编排复杂工作流，并支持本地及 Kubernetes 部署。

Apache Kyuubi 是一个分布式、多租户的 Serverless SQL 网关。它提供类 HiveServer2 的 JDBC/ODBC 接口，让开发者无需 Spark 背景，直接用纯 SQL 即可查询数仓与数据湖的大规模数据。服务端支持多租户架构，实现资源隔离、高并发与高可用。

Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。

Airframe 是一套专为 Scala 应用打造的基础组件库，解决日常开发中缺少轻量、统一工具链的问题。它提供了依赖注入与生命周期管理（DI）、JSON/MessagePack 序列化、日志工具、支持前后端同构的 RPC 框架，以及函数式测试框架 AirSpec 等核心功能。

〔中文简介暂未生成〕 Pure Scala Artifact Fetching

Sangria 是一个用 Scala 编写的 GraphQL 库，帮助开发者在 Scala 项目中快速构建符合规范的 GraphQL API。它支持定义 Schema、解析并执行查询，以及配合 circe 等库进行 JSON 序列化，可与 Apollo、Relay、GraphiQL 等工具开箱即用。

almond 是一个专为 Jupyter 打造的 Scala 内核（Kernel）。它解决了无法直接在 Jupyter Notebook 中编写和运行 Scala 的问题，提供交互式 REPL 环境，并支持 Spark 与 Spark SQL，方便开发者进行 Scala 数据分析与交互式编程。

sbt-native-packager 是一个 sbt 插件，解决 Scala/Java 应用打包及系统部署繁琐的问题。它能直接将应用构建为原生格式，支持输出 zip/tar 压缩包、Debian/RPM 安装包、macOS DMG、Windows MSI 以及 Docker 和 GraalVM 原生镜像；同时提供开箱即用的启动脚本，并支持 Systemd 等服务管理配置。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

scalajs-react 将 React 封装进 Scala.js，解决了用 Scala 开发前端时类型安全和语法契合度不足的问题。它支持 Hooks、Context 等 React 特性，可无缝集成 Cats 等纯函数式生态，并内置了专属的路由、测试与性能优化工具。

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

redis4cats 是一个 Scala 版的 Redis 客户端，基于 Cats Effect、Fs2 和 Java 异步客户端 Lettuce 构建。它解决了在函数式编程中安全、异步操作 Redis 的需求，提供纯函数式的 Effects API 与 Streams 流式处理支持，适用于生产环境。

zio-http 是基于 ZIO 和 Netty 构建的 Scala HTTP 框架，用于高效开发 Web 客户端与服务端。它将 HTTP 抽象为函数，核心特性包括：类型驱动与声明式端点设计、原生并发与错误处理、中间件、WebSocket、测试套件以及基于 ZIO Schema 的编解码。

Udash 是一个基于 Scala.js 的全栈 Web 开发框架。它解决了前后端类型不统一及维护繁琐的问题。核心功能包括：响应式数据绑定、类型安全的 HTML/CSS 生成、前后端共享代码、基于 WebSocket 的双向 RPC 与 REST 通信，并提供前端路由和国际化支持。

Magnolia 是一个用于 Scala 的类型类（Typeclass）自动派生工具。它解决了手动为复杂数据类型编写重复模板代码的痛点。核心功能是通过轻量级语法，为样例类（case classes）和枚举/密封特质（sealed traits）自动生成类型类实例，开箱即用支持递归数据结构且编译速度极快。

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