Lists (5)
Starred repositories
Lean 4 programming language and theorem prover
Towards a More Autonomous Agent System
A lightweight, powerful framework for multi-agent workflows
在大陆地区使用普通银联信用卡通过 Apple Store 订阅 ChatGPT Plus 等产品的一些实践
2026.10.26 更新：ChatGPT Plus 国内订阅教程，涵盖 Gmail 注册、美区 Apple ID 礼品卡充值、Codex 手机号验证与二次验证、接码、CC Switch、中转、性价比对比，以及模型与推理强度选择。
Your GeForce runs AI at half speed. This fixes it for 20/30/40 series cards. Up to 2× FP16 / BF16 / TF32 tensor throughput
MacOS style AppImage installer and management application
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Agent skills for Obsidian. Teach your agent to use Obsidian CLI and open formats including Markdown, Bases, JSON Canvas.
DeepInfer: High-performance, large-scale inference framework for DeepSeek models
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
A focused launcher for your desktop - native, fast, extensible
User Profile-Based Long-Term Memory for AI Chatbot Applications.
《深入理解 AI Infra：量化分析与系统设计》（李博杰 著）开源书稿：从硬件约束和模型架构出发，量化推导 LLM 推理与训练系统设计。含全书正文、PDF、配套计算工具与实验
Scale computer-use 2.0 with open-source drivers, cross-OS sandboxes, and benchmarks for training, evaluation, and data generation.
Skills for Real Engineers. Straight from my .agents directory.
Reverse engineer anything with agents, from app behavior down to native binaries.
Signoz CLI companion. Give your AI Agent access to query your instance data
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per re…
Z.ai's coding agent harness. Powerful, intelligent, extensible.
《From Concept to Production: Framework-Agnostic AI Agent Architecture Patterns》
An evaluation and evolution tool for Agent Skills.
Measured SM121 compatibility recipe for MiniMax H3 FL2VA on one NVIDIA DGX Spark with vLLM-Omni and online FP8.
A protocol for connecting any editor to any agent
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
Speech-to-text, text-to-speech, speaker diarization, speech enhancement, source separation, and VAD using next-gen Kaldi with onnxruntime without Internet connection. Support embedded systems, Andr…
DSH's officially top-recommended TUI plugin — high performance, low overhead, cute pixel whale, smooth mouse interaction. One-command install via npm. / DSH 官方首推的 TUI 插件，高性能低占用，可爱像素鲸鱼，流畅鼠标交互，npm 一键安装