搜索结果：mp（92 个）

为开发者打造标准化开发工作流，规范大规模软件开发流程，提升代码质量与一致性。

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

基于 Chrome 扩展的 MCP 服务端，将浏览器功能接入 Claude 等 AI 助手以实现复杂网页自动化。

使用 Go 语言编写的 AUR 助手工具。

〔中文简介暂未生成〕 GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs

面向各类数据库的分布式 SQL 方案，提供分库分表、水平扩展与安全能力。

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

阿里经实战检验的混合架构代码评审工具，结合确定性流程与 LLM Agent 行级审查。

cardano-node 是参与 Cardano 去中心化区块链的核心节点程序。它整合了账本、共识机制和网络通信等底层模块，主要用于运行并维护 Cardano 节点。开发者既能直接运行它来加入网络、同步区块，也可以将其相关包作为 Haskell 库集成到自己的项目中。

ScalaPB 是专为 Scala 设计的 Protocol Buffers 编译器插件。它解决 Scala 原生开发中 Protobuf 代码生成的痛点，能将 proto 文件转换为 Scala 样例类、解析器和序列化器。支持 proto2/proto3、gRPC、JSON 转换及与 Java 代码共存互转，便于项目渐进式迁移。

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。

基于 Flutter 开发的跨平台密码管理器，兼容 KeePass 2.x（KDBX 3 和 KDBX 4）。

基于 LLM 的知识库问答平台，提供数据处理、RAG 检索及可视化 AI 工作流编排。

用于数据转换的现代管道式语言，简洁强大，旨在作为 SQL 的现代化替代品。

scala-cli 是一个用于 Scala 语言的命令行交互工具。它简化了非多模块项目的构建流程，支持直接编译、运行、测试和打包 Scala 代码。从 Scala 3.5.0 起，它已正式成为官方的 `scala` 命令运行器，开箱即用。

〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko

具备自我改进能力的 RLM Agent，适用于编程工作流与长时间自主运行任务。

〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.

〔中文简介暂未生成〕 Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.

Rudder 是一个用 Scala 开发的基础设施配置与安全自动化平台。它主要解决云端、混合或本地多环境（Linux/Windows）的管理难题，提供自动资产盘点、补丁与漏洞管理、系统加固、安全合规审计，以及通过可视化或 YAML 编写的自动化配置管理。