kimchi

The proof systems used by Mina

Noname: a programming language to write zkapps

Web published translation of Grothendieck's essay on kimchi

Kimchi app for ClearOS

Kimchi KVM/Qemu Manager - RPM for ClearOS

Record and verify tamper-proof SHA-256 proof chains for AI decisions via MCP, SDK, or REST API, with JSON-LD export for audits

🌽 Grow corn using AI-driven orchestration, merging technology with agriculture to manage real-world farming from seed to harvest.

Browse recipes, read wiki articles, track batches, manage your pantry and equipment, and master the ancient art of fermentation!

A fast-paced game with kimchi and hot dogs! Thanks to my son, Oscar, for inspiration.

한국 국내 금시세와 국제 금시세간에 존재하는 김치 프리미엄을 계산합니다.

Open-source kimchi fermentation planner and flavor companion for home cooks and small kitchens.

Route Kimchi, Cline, and Copilot through one LiteLLM gateway backed by Vertex AI — including the open-weight models (Qwen, GLM, Kimi K2, gpt-oss, Gemma).