Starred repositories
Skill package for ML/CV/NLP paper writing, curated and adapted from Prof. Peng Sida's open notes for Codex, Claude Code, and Gemini.
WeChat local data CLI (query/decrypt/export) — fresh start from wx-cli
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on …
A Lean library for machine-checked cryptographic proofs.
A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.
Agent skill for beautiful, verifiable architecture, workflow, sequence, data-flow, and lifecycle diagrams—self-contained HTML with motion and crisp export.
Building a Secure and Interoperable Future for AI-Driven Payments.
DLSS 5 AIO — official NVIDIA DLSS DLLs (310.7.129) + DLSS 5 Neural Rendering runtime + DLSS5-Swapper & DLSS5-Feeder: DLSS 5 on any game (64/32-bit, D3D9, Vulkan)
A compact Transient interface for responding to queued agent-shell permission requests.
A simple CalDAV (calendar) and CardDAV (contact) server.
CLI for building, running, testing, and managing your Emacs Lisp dependencies
A radically extensible coding agent for the modern Lisp hacker
The easiest, most secure way to use WireGuard and 2FA.
Pisces is a practical cryptography-based RAG framework that protects both user queries and knowledge-base documents while supporting semantic and lexical retrieval. It combines private coarse-to-fi…
OpenShell is the safe, private runtime for autonomous AI agents.
Work with Git forges from the comfort of Magit
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
Container runtimes on macOS (and Linux) with minimal setup
A consolidated list of the Jeff Dean Facts!
A CLI tool to query your local WeChat data — chat history, contacts, sessions, favorites, and more. Designed for LLM integration.
The official Lark/飞书 CLI tool, maintained by the larksuite team — built for humans and AI Agents. Covers core business domains including Messenger, Docs, Base, Sheets, Calendar, Mail, Tasks, Meetin…
DingTalk Workspace is an officially open-sourced cross-platform CLI tool from DingTalk. It unifies DingTalk’s full suite of product capabilities into a single package, is designed for both human us…
A complete and graceful API for Wechat. 微信个人号接口、微信机器人及命令行微信，三十行即可自定义个人号机器人。
Asynchronous, super fast LaTeX previews for Org mode.