项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 649
AI 模型与开发框架 · 719
自动化与工作流 · 331
数据分析与数据处理 · 830
网站与 SaaS 工具 · 337
效率与办公工具 · 356
图像、视频与音频 · 437
内容创作与媒体工具 · 293
电商与营销工具 · 104
游戏与娱乐 · 209
网络与基础设施 · 704
开发者工具 · 1663
安全与隐私工具 · 221
教育与学习 · 304
其他 · 1896
其他 共 1896 个项目 · 第 90/95 页
AutoPlugin2
综合 40
AutoPlugin 2 的下一代版本。
hindent
综合 40
hindent 是一款 Haskell 代码格式化工具。它解决 Haskell 代码排版不统一的问题，核心功能包括：按管道流或文件重新排版代码、自定义缩进与行宽、自动排序 import、配置特定换行符，以及支持指定 GHC 语言扩展语法。
mimic
综合 40
专为 Elixir 打造的 Mock 测试库。
createx
综合 40
工厂智能合约，用于更安全简便地使用 CREATE/CREATE2 操作码及 CREATE3 部署合约。
libgraph
综合 40
专为 Elixir 项目打造的图（Graph）数据结构库。
ox_inventory
综合 40
支持元数据（Metadata）的网格式背包/库存系统。
twirl
综合 40
Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。
scalamock
综合 40
〔中文简介暂未生成〕 Native Scala mocking framework
scribe
综合 40
Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。
argonaut
综合 40
Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。
era-contracts
综合 40
zkSync Era 的智能合约子模块。
Prometheus
综合 40
纯 Lua 编写的 Lua 代码混淆器。
BeamMP
综合 40
为 BeamNG.drive 带来多人联机功能。
frax-solidity
综合 40
Frax 协议的 Solidity 实现。
contract-deployments
综合 40
`contract-deployments` 是 Base 智能合约部署、升级与调用的执行管理仓库。它按“待办、预审、归档”管理 EVM 操作的全生命周期任务；并通过 mise 严格锁定 Foundry 等工具链版本，确保协作者环境统一，防止签名与部署产物不一致。
ArkLights
综合 40
《明日方舟》速通工具。
U7Revisited
综合 40
《Ultima VII: The Black Gate》的替代引擎（未来将支持 Serpent Isle），提供全新视角及其他改进。
haskell
综合 40
该项目是 Exercism 平台的 Haskell 语言练习题库与技术实现。它为学习 Haskell 的开发者提供结构化的编程练习，包含概念练习、实践题目、配套测试用例、基础存根代码及参考解答，帮助开发者通过针对性的实战编码与自动化测试掌握 Haskell 编程。
ox
综合 39
Ox 是面向 Scala 3 和 JDK 21+ 的并发与流处理库。它基于 JVM 虚拟线程，让开发者无需复杂的异步语法，就能以直观的“直接风格”编写高并发代码。核心功能包括结构化并发（安全管理生命周期与异常）、带背压的流处理，以及熔断、重试、限流等容错韧性机制。
saw-script
综合 39
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。