Empowering everyone to host fast and efficient Minecraft servers.

Personal blog by Dan Abramov.

Lean 4 programming language and theorem prover

Supercharge Your LLM with the Fastest KV Cache Layer

Use Claude Code, Cursor CLI or Codex on mobile and web with CloudCLI (aka Claude Code UI). CloudCLI is a free open source webui/GUI that helps you manage your Claude Code session and projects remotely

Mobile-Agent: The Powerful GUI Agent Family

Go library for decoding generic map values into native Go structures and vice versa.

A markdown terminal slideshow tool

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.

CRS-自建Claude Code镜像，一站式开源中转服务，让 Claude、OpenAI、Gemini、Droid 订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。

Official Git mirror of the SQLite source tree

Official, Anthropic-managed directory of high quality Claude Code Plugins.

Lutris desktop client

GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interacti

MCP for xiaohongshu.com

Fully automatic censorship removal for language models

An open source multi-tool for exploring and publishing data

Cross Platform Terminal UI toolkit for .NET

An idiomatic, lean, fast & safe pure Rust implementation of Git

Access large language models from the command-line

Skills Catalog for Codex

The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies

An organizer for your porn, written in Go. Documentation: https://docs.stashapp.cc

Tweak React components in real time. (Deprecated: use Fast Refresh instead.)

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

LLM-powered framework for deep document understanding, semantic retrieval, and context-aware answers using RAG paradigm.

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community

A set of ready to use Agent Skills for research, science, engineering, analysis, finance and writing.

A comprehensive collection of Agent Skills for context engineering, multi-agent architectures, and production agent systems. Use when building, optimizing, or debugging agent systems that require effe

The absolute trainer to light up AI agents.

The systemd System and Service Manager

Asynchronous HTTP client/server framework for asyncio and Python

Build and run agents you can see, understand and trust.

An extremely fast Python type checker and language server, written in Rust.

AGENTS.md — a simple, open format for guiding coding agents

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

🌊 The leading agent orchestration platform for Claude. Deploy intelligent multi-agent swarms, coordinate autonomous workflows, and build conversational AI systems. Features enterprise-grade archite

Node version management

⚓ A collection of high-performance JavaScript tools.

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

Build fast web applications with Rust.

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Beautiful, Modern & Opinionated Linux

The Ultimate Collection of 1000+ Agentic Skills for Claude Code/Antigravity/Cursor. Battle-tested, high-performance skills for AI agents including official skills from Anthropic and Vercel.

Glamourous agentic coding for all 💘

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

A new AList Fork to Anti Trust Crisis