全部收录项目

使用 Emacs 进行写作的技巧、示例与资源。

适用于 Haskell 的可靠且快速的 PostgreSQL 驱动程序

交互式 pip 需求升级工具。支持 requirements.txt、pyproject.toml 与 Pipfile

用于从 odex/oat/vdex 获取去优化 dex 的封装工具。

连接至 Azure

元编程、验证过的元理论，以及在 Rocq 中实现 Rocq。

支持 Android、iOS、桌面与网页的 Kotlin Multiplatform 验证库

用于实现多因素验证之基于时间的一次性密码 (TOTP) 的 Java 库。

一个专注于性能与资源效率的异步运行时。

Run MoE models bigger than your RAM. Frontier-size MoE on a 12 GB phone, CPU only, lossless, on stock llama.cpp

用于冷冻电子显微镜的图像处理软件

关于 macOS/iOS 系统安全的资源

ERC20 与 ERC721 联合配对实现

Instagram 技巧：追踪取消关注者、增加粉丝数、下载限时动态等

诊断日志与追踪查看程序

Windows 应用商店与包管理器的统一前端

用于建立 Zapier 集成的工具组

这是一个针对文档的搜索引擎，功能如同 repo-browser 之于仓库。这是一个由 AI 驱动的本地文档搜索引擎。

持续响应式排版 — 演示：

ResUnet 与 ResUnet ++ 的 Pytorch 实现

[镜像] Go 补充图像库

ICML 2024：通过多代理辩论提升语言模型的真实性与推理能力

The Amazing Audio Engine 是一个用于 iOS 音频应用程序的复杂框架，其设计初衷是为了让你无需从头开发。

如何使用 Gradle 8 或 Gradle 9 以惯用方式构建大型项目

适用于 iOS 与 macOS 的安全且易于使用的加密函数库。

AutoCAD Code Pack：协助您使用 AutoCAD .NET API 开发 AutoCAD 插件的强大库

AutoPOI 是对 POI 的智能化封装，旨在简化 API 使用。通过极简代码实现 Excel 导入导出与 Word 模板导出，协助初学者轻松自动化处理文档

用于整合测试与数据验证的 Python 3.5+ 运行时类型检查工具。

信息系统映射 / 信息系统制图。

一份用于学习并深入了解 ⚡ eXtreme Programming ⚡ 的资源清单