搜索结果：scala（55 个）

开源 AI 编排框架，用于构建上下文工程化的生产级 LLM 应用，支持模块化流水线、Agent 工作流与检索路由控制。

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

机器学习工程开源电子书。

SynapseML（原 MMLSpark）是基于 Apache Spark 的分布式机器学习库，主要解决大规模数据下构建 ML 流水线复杂度高的问题。它无缝兼容 SparkML API，支持在弹性集群上分布式训练，覆盖文本分析、计算机视觉、异常检测及深度学习等任务，并支持 Python、Scala 等多语言调用。

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

告别网页解析，开启可扩展的像素原生搜索新时代。

Joern 是一款开源代码分析与漏洞挖掘平台。它能将源码、字节码或二进制文件解析为“代码属性图（CPG）”，并存入图数据库中。开发者可以用基于 Scala 的专用查询语言搜索代码图结构，轻松完成跨语言的静态程序分析与漏洞排查。

Gluten 是一个为 Spark SQL 提速的中间层插件。它复用 Spark 的分布式控制流，将 JVM 中计算密集的数据处理卸载给 ClickHouse、Velox 等高性能原生引擎。通过 Substrait 转换执行计划并结合 Arrow 列存格式，无需改动现有 SQL 或 DataFrame API 即可实现原生向量化加速。

MLeap 专注于简化机器学习流水线的生产部署。它支持将 Spark 或 Scikit-learn 训练的流水线导出为便携格式（JSON/Protobuf），并直接在轻量级 JVM 运行时上执行，完全脱离对 Spark、sklearn 等重型环境的依赖，实现高性能、跨平台的快速推理。

Mill 是一款面向 Java、Scala 和 Kotlin 的轻量构建工具，旨在解决传统 JVM 工具慢且复杂的问题。它比 Maven 更简洁（配置代码更少）、比 Gradle 更直观，通过激进的缓存与并行机制，实现提速 3-7 倍的高效编译、运行与测试体验。

Delta Sharing 是开源的安全数据共享协议，解决跨计算平台实时交换大数据集的难题。它通过 REST 协议共享云存储上的数据，提供 Python、Spark 连接器及参考服务端，支持直接用 pandas、Spark 等工具读取 Delta Lake 或 Parquet 表。

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

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

基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

Scio 是为 Apache Beam 和 Google Cloud Dataflow 打造的 Scala API，风格贴近 Spark。它解决了 Beam 原生开发体验繁琐的问题，提供批流一体的编程模型，深度整合 BigQuery、Pub/Sub 等 GCP 服务，并原生支持 Cassandra、Parquet、TensorFlow 等多样数据源与交互式 REPL。

〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala

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

Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。

scala3（曾用名 Dotty）是 Scala 3 编程语言的官方开源仓库。它主要解决了 Scala 语言的现代化演进问题，核心包含了 Scala 3 的官方编译器、标准库及语言规范，为开发者提供编译执行 Scala 3 代码的完整基础工具链支持。