Repositories

Repositories

801,516 supported repositories

用于构造、审查、校验和封装飞书卡片 JSON 2.0 的 Agent Skill

Last commit Jul 21, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Formally Verified Arguments of Knowledge in Lean

Last commit Jul 21, 2026

 (312 stars) (88 forks) (1 indexed issue) (1 open good first issue)

Last commit Jul 21, 2026

 (1 star) (10 forks) (4 indexed issues) (4 open good first issues)

Boost ComfyUI's web UI loading with object caching and gzip compression / 通过对象缓存和 Gzip 压缩大幅度加快 ComfyUI 网页端热加载速度

Last commit Jul 21, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)

MarkdownIt plugin collections written with ts

Last commit Jul 21, 2026

 (202 stars) (30 forks) (0 indexed issues) (0 open good first issues)

Build and deploy Go applications

Last commit Jul 21, 2026

 (8,481 stars) (445 forks) (10 indexed issues) (10 open good first issues)

Last commit Jul 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

用 AI Agent 自动游玩《Turmoil》(石油大亨)并不断积累经验进化的实验项目.

Last commit Jul 20, 2026

 (13 stars) (2 forks) (0 indexed issues) (0 open good first issues)

Read & Write BI PAA files from Golang

Last commit Jul 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

AsyncAPI parser for Javascript (browser-compatible too).

Last commit Jul 20, 2026

 (144 stars) (135 forks) (2 indexed issues) (2 open good first issues)

Torchélie is a set of utility functions, layers, losses, models, trainers and other things for PyTorch.

Last commit Jul 20, 2026

 (110 stars) (12 forks) (1 indexed issue) (1 open good first issue)

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.

Last commit Jul 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Last commit Jul 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Setup autentication for your mobile app in one minute.

Last commit Jul 20, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

An extremely compact offline media server for Movies, Shows, Books, and Music.

Last commit Jul 20, 2026

 (1,077 stars) (53 forks) (0 indexed issues) (0 open good first issues)

Last commit Jul 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Errbot is a chatbot, a daemon that connects to your favorite chat service and bring your tools and some fun into the conversation.

Last commit Jul 20, 2026

 (3,290 stars) (626 forks) (0 indexed issues) (0 open good first issues)

Homework Submission, Automated Grading, and TA grading system.

Last commit Jul 20, 2026

 (776 stars) (1,066 forks) (50 indexed issues) (50 open good first issues)

This project is an engine for running/orchestrating DevOps deployments whilst managing environments & configuration

Last commit Jul 20, 2026

 (4 stars) (3 forks) (2 indexed issues) (2 open good first issues)

A high performance search engine designed to display sentences from a wide variety of media and languages.

Last commit Jul 20, 2026

 (54 stars) (5 forks) (0 indexed issues) (0 open good first issues)