登录 注册

项目分类

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

全部 AI 应用与 AI Agent · 639 AI 模型与开发框架 · 758 自动化与工作流 · 425 数据分析与数据处理 · 848 网站与 SaaS 工具 · 358 效率与办公工具 · 416 图像、视频与音频 · 432 内容创作与媒体工具 · 342 电商与营销工具 · 105 游戏与娱乐 · 206 网络与基础设施 · 715 开发者工具 · 1762 安全与隐私工具 · 216 教育与学习 · 315 其他 · 1829

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

cheat

综合 55
支持在命令行创建和查看交互式备忘录(cheatsheet)的工具,方便速查常用系统命令选项。
Go 13,492 849 2026-05-19

ReLaXed

综合 55
使用 Web 技术创建 PDF 文档的工具。
JavaScript 11,790 418 2025-09-07
效率与办公工具 部署:待检测

fsnotes

综合 55
适用于 Mac 和 iPhone 的快速 Markdown 笔记应用。
Swift 7,570 585 2026-11-08
效率与办公工具 部署:中等

markdown-here

综合 55
适用于 Chrome、Firefox 和 Thunderbird 的扩展,支持用 Markdown 编写并在发送前渲染邮件。
JavaScript 60,253 10,982 2025-08-22

tinycast

综合 55
轻量、开源的原生 macOS 效率启动器。
Swift 9,382 590 2026-11-12
效率与办公工具 部署:中等

cryptol

综合 55
Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器,用 Haskell 编写。它解决了密码学规范难以验证与执行的问题,具备完全可执行性;支持通过随机向量测试算法,并能调用 Z3 等 SMT 求解器进行形式化证明,确保算法的正确性。
Haskell 1,228 130 2026-11-06

druid

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

eff

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

MarkEdit

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

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
效率与办公工具 部署:待检测
免费下载《经济学人》(含音频)、《纽约客》等英文原版杂志,支持 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
上一页 下一页