OneClaw

Kimi Code CLI is your next CLI agent.

AI Coding Stack - Your AI Coding Ecosystem Hub.

The LLM abstraction layer for modern AI agent applications.

bzoj (lydsy.com) test data

Technical report of Kimina-Prover Preview.

💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…

Perl (XS) module implementing prime number utilities, including sieves

Personal solutions to various problems from projecteuler.net

Apache Kafka - A distributed event streaming platform

Interactive C live coding environment

Yet another Cookbook

MoonPalace（月宫）是由 Moonshot AI 月之暗面提供的 API 调试工具。

A lightweight multilingual LLM

This is the repository of the Ape210K dataset and baseline models.

The Node.js client and CLI for Moonshot AI(Kimi).

IOI2021候选队论文集（民间版本）

The math library of Lean 4

A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.

rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/

极简主义团队管理操作手册

软件所PLCT实验室在开源领域的不定期简报

Interactive neural theorem proving in Lean

LLMs as Copilots for Theorem Proving in Lean