用于构造、审查、校验和封装飞书卡片 JSON 2.0 的 Agent Skill
Repositories
Repositories
Formally Verified Arguments of Knowledge in Lean
Boost ComfyUI's web UI loading with object caching and gzip compression / 通过对象缓存和 Gzip 压缩大幅度加快 ComfyUI 网页端热加载速度
MarkdownIt plugin collections written with ts
Build and deploy Go applications
用 AI Agent 自动游玩《Turmoil》(石油大亨)并不断积累经验进化的实验项目.
Read & Write BI PAA files from Golang
AsyncAPI parser for Javascript (browser-compatible too).
Torchélie is a set of utility functions, layers, losses, models, trainers and other things for PyTorch.
Never stop coding. Free MIT AI gateway: one endpoint, 268+ providers (50+ free), 500+ models — Claude, GPT, Gemini, Kimi K3, GLM, DeepSeek. Works with Claude Code, Codex, Cursor, Cline & Copilot. Quota-aware auto-fallback, RTK+Caveman compression saves 15-95% tokens, MCP/A2A, multimodal, Desktop/PWA. Built by 500+ contributors.
Setup autentication for your mobile app in one minute.
An extremely compact offline media server for Movies, Shows, Books, and Music.
Errbot is a chatbot, a daemon that connects to your favorite chat service and bring your tools and some fun into the conversation.
Homework Submission, Automated Grading, and TA grading system.
This project is an engine for running/orchestrating DevOps deployments whilst managing environments & configuration
A high performance search engine designed to display sentences from a wide variety of media and languages.