项目分类
按分类浏览项目,点击分类切换下方列表。
全部
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
阿里云计算平台团队出品、专为监控而生的高性能数据库连接池。
MarkEdit
综合 54
类似 Mac 上 TextEdit 的轻量级 Markdown 专用编辑器。
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
wikipedia-ios
综合 54
Wikipedia(维基百科)官方 iOS 客户端。
nix-vscode-extensions
综合 54
nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取,为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装(Flake),方便开发者用 Nix 管理并安装主流平台(Linux、Darwin)的插件。
jimureport
综合 54
积木报表:涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。
ChromeAppHeroes
综合 54
为优秀的 Chrome 插件编写的中文说明书与推荐指南。
apps-android-wikipedia
综合 54
Wikipedia 官方 Android 客户端。
awesome-english-ebooks
综合 54
免费下载《经济学人》(含音频)、《纽约客》等英文原版杂志,支持 EPUB、MOBI、PDF,每周更新。
mdBook
综合 54
基于 Rust 开发的文档生成工具,可将 Markdown 文件制作为电子书,类似 GitBook。
swift-markdown
综合 54
用于解析、构建、编辑和分析 Markdown 文档的 Swift 宏包。
project-m36
综合 54
Project:M36 是一个纯 Haskell 开发的关系代数引擎,旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数,支持 TutorialD 与 SQL 交互,可用作进程内或远程数据库后端,适合学习关系代数与规范化数据存储。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台(SAW)。它主要解决多语言程序的形式化验证问题,支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口,结合 Z3 等 SMT 求解器完成代码的形式化验证。
scalacss
综合 54
〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.
tldr (命令行速查手册)
综合 54
针对传统 man 手册过于冗长复杂的问题,tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明,聚焦于最实用的命令示例,涵盖 Linux、macOS、Windows 等多系统的常用工具,帮助开发者迅速上手命令,支持多种客户端和网页查阅。
PDFMathTranslate
综合 54
基于 AI 完整保留排版的 PDF 文档双语翻译工具,支持多种翻译服务与多端接入。
scalamock
综合 54
〔中文简介暂未生成〕 Native Scala mocking framework
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
Python
综合 54
实用的 Python 脚本合集,包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。
中国程序员容易发音错误的单词汇总。