全部收录项目

🦥 在 neovim 中极大地提升你的 Haskell 体验！

一份精心整理在业界使用形式化验证方法的公司清单

用于读取 Mozilla sops 文件的 Terraform provider

Open Network Linux - 用于裸机交换机的操作系统

📝 用于管理 Svelte 中表单的轻量级库

物理隔离（Air-gapped）加密货币钱包。

无尘室 Minecraft。

一种用于耳机实时语音提取的新颖人机交互方法。

A curated, battle-tested AI-coding toolkit: Claude Code plugins, subagent orchestration, quality gates, and ready-to-copy prompts, extracted from real production use.

Android 私人 DNS 强力升级版

你的住宅数字孪生：即 floor3d-card。基于 Three.js 在 3D 房屋模型中可视化 Home Assistant 状态并执行操作。

使用 DifferentialEquations.jl 与 SciML 科学机器学习组织在 Python 中求解微分方程

FreeBSD 设备驱动程序手册

用于 Raspberry Pi 与其他 ARM 设备的发行版构建工具

Kotlin 的断言库

physica：向量、场、微分、导数、Dirac 括号、张量等。请参阅手册 PDF 中的示例。

简单的加密货币做市商

公开的房间脉冲响应数据集列表及下载脚本

用于 Travis CI 的 Ember 网页客户端

Steve 的持久化 Unreal Data 库

用于在 PHP 中生成银行缴费单（boleto）的库

LLM 面试常见手写程式题合集

DeFi 工具集，包含无常损失计算、质押与挖矿策略、Coingecko 与 Pancakeswap API 查询、流动性池等功能

从音频中分离音轨（人声、贝斯、鼓、其他）。支持重新组合、节拍匹配、音频剪裁与裁剪

用于构建强大 AI agent 的代码优先、可组合 SDK

已弃用 - 这是 OBS-studio 的分支（fork），对 webrtc 提供通用支持。它利用了大多数浏览器所使用的相同 webrtc 实作。

Python 加密货币历史价格数据库。数据来源于 https://coinmarketcap.com。

企业微信 API 官方函数库 https://work.weixin.qq.com/api/doc

Windows 剪贴板工具

捕捉并修复 AI 编码代理遗留的代码质量问题，包括无效代码、不安全的类型转换、被吞掉的错误、重复代码、安全风险等。包含 10 种目标语言的 50 多条确定性规则，提供 CLI、CI 与 GitHub Actions 支持。运行时无需 LLM。MIT 授权。