项目分类
按分类浏览项目,点击分类切换下方列表。
全部
AI 应用与 AI Agent · 640
AI 模型与开发框架 · 712
自动化与工作流 · 325
数据分析与数据处理 · 816
网站与 SaaS 工具 · 325
效率与办公工具 · 349
图像、视频与音频 · 422
内容创作与媒体工具 · 296
电商与营销工具 · 101
游戏与娱乐 · 206
网络与基础设施 · 697
开发者工具 · 1662
安全与隐私工具 · 210
教育与学习 · 303
其他 · 1987
其他 共 1987 个项目 · 第 94/100 页
anyzig
综合 40
一款统一管理与调用多版本 Zig 的多合一工具。
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 原生数据类型之间的相互转换。
Prometheus
综合 40
纯 Lua 编写的 Lua 代码混淆器。
era-contracts
综合 40
zkSync Era 的智能合约子模块。
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 求解器完成代码的形式化验证。
awesome-mac (Mac 优质软件精选)
综合 39
收集优质 macOS 软件的精选资源列表,按类别系统整理,方便检索与使用。
swift
综合 39
Swift 编程语言的官方开源代码仓库。
Magisk
综合 39
Android 平台的开源定制与获取 Root 权限的“面具”工具。
fanqiang
综合 39
翻墙与科学上网相关指南及工具合集。
kotlin
综合 39
Kotlin 编程语言官方代码仓库。
AnyPS5 (PS5可执行文件自动移植工具)
综合 38
一款将 PS5 可执行文件自动移植到 Linux 和 Windows 的工具,无需模拟器,可将其转为目标系统的原生格式运行。