项目分类
按分类浏览项目,点击分类切换下方列表。
全部
AI 应用与 AI Agent · 634
AI 模型与开发框架 · 695
自动化与工作流 · 310
数据分析与数据处理 · 797
网站与 SaaS 工具 · 317
效率与办公工具 · 343
图像、视频与音频 · 409
内容创作与媒体工具 · 289
电商与营销工具 · 102
游戏与娱乐 · 204
网络与基础设施 · 674
开发者工具 · 1629
安全与隐私工具 · 202
教育与学习 · 295
其他 · 2094
最新收录 共 6112 个项目 · 第 231/306 页
simutil
综合 42
支持桌面、TUI 和 CLI 的移动端模拟器与真机管理控制实用工具。
scala-steward
综合 42
Scala Steward 是一个自动化依赖更新机器人,解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新,并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。
streak
综合 42
基于 Flutter 的极简离线习惯追踪应用,注重隐私且无广告。
copilot
综合 42
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范,并能将其生成时间与内存恒定的 C99 监控代码,同时提供测试解释器和定理证明支持。
hoogle
综合 42
Hoogle 是一款专为 Haskell 开发者打造的 API 搜索引擎。它主要解决查找函数时不记得名字的痛点,核心功能是不仅支持按函数名搜索,还能直接通过“近似类型签名”(如 `a -> a`)检索标准库及 Stackage 包,支持网页、本地命令行或 API 调用。
scalachess
综合 42
scalachess 是知名国际象棋网站 lichess.org 背后的核心国际象棋逻辑库。基于 Scala 3 开发,它利用位棋盘(bitboard)数据结构,以纯函数式、完全不可变且无副作用的方式处理国际象棋规则与走法验证,为开发者提供高性能、可靠的棋局核心逻辑支持。
Recaf
综合 42
现代化的 Java 字节码编辑器。
wvp-GB28181-pro
综合 42
开箱即用的网络视频平台,支持国标级联、主流安防设备接入与流媒体转国标。
error-prone
综合 42
在编译期捕获 Java 常见错误的静态分析工具。
VPet
综合 42
开源虚拟桌宠模拟器,支持内置到任何 WPF 应用程序中。
reactive
综合 42
面向 .NET 的反应式扩展(Reactive Extensions)库。
KnowStreaming
综合 42
一站式云原生实时流数据平台,0侵入、插件化构建企业级 Kafka 服务,降低实时流数据运维门槛。
rest-assured
综合 42
用于轻松测试 REST 服务的 Java DSL 工具库。
FluentCleaner
综合 42
透明、社区驱动的 Windows 平台 CCleaner 替代工具。
CAP
综合 42
基于最终一致性的微服务分布式事务解决方案,同时是支持 Outbox 模式的 EventBus。
quartznet
综合 42
.NET 平台下的开源企业级作业调度框架(Quartz Enterprise Scheduler)。
junit-framework
综合 42
面向 Java 和 JVM 的测试框架,对开发者友好。
rabbitmq-tutorials
综合 42
多种方式使用 RabbitMQ 的官方教程
byte-buddy
综合 42
面向 Java 虚拟机(JVM)的运行时代码生成库
graphhopper
综合 42
基于 OpenStreetMap 的开源路由引擎,支持作为 Java 库或独立 Web 服务使用。