搜索结果:mp(92 个)
按分类缩小范围
fs2
综合 55
FS2 是 Scala 的纯函数式流式 I/O 处理库,主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流(Stream)和拉取(Pull)抽象,在保障资源安全与高性能的同时,支持与 Cats-Effect 等不同副作用库结合使用。
jsoniter-scala
综合 55
jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器(codecs),避免了运行时的反射开销;同时还提供 circe booster 加速模块,并支持 JVM、Scala.js 及 Scala Native 等多平台。
clash-compiler
综合 55
clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能:强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计,及类型安全的多时钟域支持。
twirl
综合 54
Twirl 是 Play 框架默认的模板引擎,也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出,核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码,并提供 sbt 与 Maven 插件支持无缝集成构建。
nix-vscode-extensions
综合 54
nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取,为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装(Flake),方便开发者用 Nix 管理并安装主流平台(Linux、Darwin)的插件。
ghc
综合 54
〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
kaitai_struct_compiler
综合 54
kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构,自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码,并提供开箱即用的访问 API。
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
ansible
综合 51
极简的 IT 自动化平台,涵盖代码部署、系统维护与网络配置的全流程自动化。
raydp
综合 51
RayDP 解决了传统 AI 流水线中 Spark 数据处理与深度学习训练常需分设独立集群、数据流转慢且运维复杂的问题。
它支持直接在 Ray 集群上运行 Spark,允许开发者在单个 Python 程序中混合编写 PySpark 与 AI 库代码;还提供将 Spark DataFrame 转换为 Ray Dataset 的 API,通过 Ray 内存对象实现高效数据交互。
将 Claude Code 变为游戏开发工作室,内置 49 个 AI Agent,只需文字描述想法,就能协作生成并迭代可玩的网页游戏。
claude-code (终端智能编程助手)
综合 50
终端里的 Agentic 编程工具,能理解代码库、执行日常任务、解释复杂代码并处理 Git 工作流。
awesome-seedance
综合 50
Seedance 2.0 高保真 Prompt 与 AI 资源合集,涵盖影视、动漫及社媒广告等场景。
gears
综合 49
Gears 是面向 Scala 3 的实验性底层异步编程库。它主要解决并发编程复杂及计算泄漏问题,支持使用 `.await` 直接调用异步函数的直观编程风格;提供结构化并发与非结构化外部事件处理工具;并跨平台支持 JVM (>=21)、Scala Native 与 Scala.js (Wasm)。
hindent
综合 49
hindent 是一款 Haskell 代码格式化工具。它解决 Haskell 代码排版不统一的问题,核心功能包括:按管道流或文件重新排版代码、自定义缩进与行宽、自动排序 import、配置特定换行符,以及支持指定 GHC 语言扩展语法。
better-genshin-impact
综合 48
原神 UI 自动化辅助工具,支持自动拾取、剧情跳过、AI 钓鱼、自动战斗及刷本等多项功能。
bytestring
综合 48
bytestring 是 Haskell 的高效紧凑型不可变字节串库,解决了原生字符串在处理二进制或字符数据时内存占用高、速度慢的问题。它提供严格与惰性两种字节串模式,支持高效的字符串与 I/O 操作及大文件处理,并包含 Builder 模块用于快速二进制序列化拼接。
scala-oauth2-provider
综合 47
scala-oauth2-provider 是一个用 Scala 实现的 OAuth 2.0 服务端库。它支持授权码(含 PKCE)、密码、客户端凭证及隐式授权等全部主流授权类型与 Bearer Token。开发者只需实现 `DataHandler` 接口即可对接自定义用户与存储体系,并能轻松集成到 Play 和 Akka HTTP 等框架中。
mouse
综合 47
Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题,为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法,让基础数据类型与函数式编程的结合更顺畅。
bsc
综合 47
bsc 是 Bluespec 硬件描述语言的开源编译器与工具链。它解决传统数字硬件设计复杂、易出错的问题,支持 BSV 和 BH 两种语法,能通过强类型系统和“保护原子操作”进行模块化设计,并自动生成标准 Verilog,同时自带仿真器与标准库。