项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 644
AI 模型与开发框架 · 718
自动化与工作流 · 326
数据分析与数据处理 · 825
网站与 SaaS 工具 · 328
效率与办公工具 · 352
图像、视频与音频 · 419
内容创作与媒体工具 · 291
电商与营销工具 · 99
游戏与娱乐 · 207
网络与基础设施 · 710
开发者工具 · 1663
安全与隐私工具 · 213
教育与学习 · 299
其他 · 2008
最新收录 共 6094 个项目 · 第 295/305 页
ArkLights
综合 40
《明日方舟》速通工具。
U7Revisited
综合 40
《Ultima VII: The Black Gate》的替代引擎（未来将支持 Serpent Isle），提供全新视角及其他改进。
haskell
综合 40
该项目是 Exercism 平台的 Haskell 语言练习题库与技术实现。它为学习 Haskell 的开发者提供结构化的编程练习，包含概念练习、实践题目、配套测试用例、基础存根代码及参考解答，帮助开发者通过针对性的实战编码与自动化测试掌握 Haskell 编程。
stainless
综合 40
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
ox
综合 39
Ox 是面向 Scala 3 和 JDK 21+ 的并发与流处理库。它基于 JVM 虚拟线程，让开发者无需复杂的异步语法，就能以直观的“直接风格”编写高并发代码。核心功能包括结构化并发（安全管理生命周期与异常）、带背压的流处理，以及熔断、重试、限流等容错韧性机制。
saw-script
综合 39
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。
websocket.zig
综合 39
〔中文简介暂未生成〕 A websocket implementation for zig
spark-excel
综合 39
spark-excel 是一个专为 Apache Spark 打造的插件，主要解决 Spark 原生不支持直接读写 Excel 文件的痛点。它能将 Excel 表格解析为 Spark DataFrame，支持指定单元格区域、表头及数据类型推断；其 V2 版本还支持多文件加载与损坏记录处理。
ergo
综合 39
Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。
flop_phoenix
综合 39
基于 Phoenix、Ecto 和 Flop 的分页、可排序表格及筛选表单组件。
jackson-module-scala
综合 39
jackson-module-scala 解决了 Jackson 默认无法良好兼容 Scala 特有数据结构的问题。作为官方扩展模块，它为 Scala 提供序列化与反序列化支持，原生适配样例类（Case Classes）、Option、Tuple、集合（Seq/Map）及枚举等类型。支持 Scala 2 和 3，注册到 ObjectMapper 即可无缝处理 JSON、XML 等格式。
inertia-phoenix
综合 39
〔中文简介暂未生成〕 The Phoenix adapter for Inertia.js.
texera
综合 39
Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。
lightning
综合 39
OpenFn 最新版自动化与数据集成平台，供政府管理复杂工作流与数据项目。
awesome-mac （Mac 优质软件精选）
综合 39
收集优质 macOS 软件的精选资源列表，按类别系统整理，方便检索与使用。
swift
综合 39
Swift 编程语言的官方开源代码仓库。
v2rayNG
综合 39
Android 端 V2Ray 客户端，支持 Xray core 和 v2fly core。
Magisk
综合 39
Android 平台的开源定制与获取 Root 权限的“面具”工具。
fanqiang
综合 39
翻墙与科学上网相关指南及工具合集。
kotlin
综合 39
Kotlin 编程语言官方代码仓库。