登录 注册

项目分类

按分类浏览项目,点击分类切换下方列表。

全部 AI 应用与 AI Agent · 638 AI 模型与开发框架 · 757 自动化与工作流 · 424 数据分析与数据处理 · 855 网站与 SaaS 工具 · 359 效率与办公工具 · 417 图像、视频与音频 · 431 内容创作与媒体工具 · 344 电商与营销工具 · 108 游戏与娱乐 · 207 网络与基础设施 · 720 开发者工具 · 1769 安全与隐私工具 · 216 教育与学习 · 316 其他 · 1822

效率与办公工具 共 417 个项目 · 第 12/21 页

druid

综合 54
阿里云计算平台团队出品、专为监控而生的高性能数据库连接池。
Java 28,145 8,541 2026-08-01
效率与办公工具 部署:待检测

MarkEdit

综合 54
类似 Mac 上 TextEdit 的轻量级 Markdown 专用编辑器。
Swift 5,979 260 2026-11-12
效率与办公工具 部署:中等

eff

综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
Scala 589 80 2026-11-10

wikipedia-ios

综合 54
Wikipedia(维基百科)官方 iOS 客户端。
Swift 3,474 942 2026-11-12
效率与办公工具 部署:中等
nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取,为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装(Flake),方便开发者用 Nix 管理并安装主流平台(Linux、Darwin)的插件。
Haskell 400 39 2026-11-12

jimureport

综合 54
积木报表:涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。
Java 8,637 1,896 2026-11-11

ChromeAppHeroes

综合 54
为优秀的 Chrome 插件编写的中文说明书与推荐指南。
JavaScript 25,944 2,633 2026-10-06
效率与办公工具 部署:待检测
Wikipedia 官方 Android 客户端。
Kotlin 3,064 867 2026-11-11
效率与办公工具 部署:中等
免费下载《经济学人》(含音频)、《纽约客》等英文原版杂志,支持 EPUB、MOBI、PDF,每周更新。
CSS 39,441 3,300 2026-11-06

mdBook

综合 54
基于 Rust 开发的文档生成工具,可将 Markdown 文件制作为电子书,类似 GitBook。
Rust 22,288 1,916 2026-11-12

swift-markdown

综合 54
用于解析、构建、编辑和分析 Markdown 文档的 Swift 宏包。
Swift 3,458 318 2026-11-11

project-m36

综合 54
Project:M36 是一个纯 Haskell 开发的关系代数引擎,旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数,支持 TutorialD 与 SQL 交互,可用作进程内或远程数据库后端,适合学习关系代数与规范化数据存储。
Haskell 956 51 2026-11-10

saw-script

综合 54
saw-script 是基于 Haskell 开发的软件分析工作台(SAW)。它主要解决多语言程序的形式化验证问题,支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口,结合 Z3 等 SMT 求解器完成代码的形式化验证。
Haskell 527 86 2026-11-12

scalacss

综合 54
〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.
Scala 342 40 2026-11-09
针对传统 man 手册过于冗长复杂的问题,tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明,聚焦于最实用的命令示例,涵盖 Linux、macOS、Windows 等多系统的常用工具,帮助开发者迅速上手命令,支持多种客户端和网页查阅。
Markdown 64,196 5,647 2026-11-12
基于 AI 完整保留排版的 PDF 文档双语翻译工具,支持多种翻译服务与多端接入。
Python 38,388 0

scalamock

综合 54
〔中文简介暂未生成〕 Native Scala mocking framework
Scala 555 106 2026-11-04

zio-prelude

综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
Scala 472 118 2026-11-11

Python

综合 54
实用的 Python 脚本合集,包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。
Python 10,910 4,236 2026-05-09
中国程序员容易发音错误的单词汇总。
JavaScript 23,377 1,598 2026-09-11
效率与办公工具 部署:待检测
上一页 下一页