The Python implementation and the benchmark data used in the IQP-LCV numerical experiments.

Lean 4 formalization of the core IQP-LCV theorem chain.

⌥ Coding agent with the IDE wired in. Built by Stencil Labs.

Hindsight: Agent Memory That Learns

从不同服务器下载《碧蓝档案》的相关素材。

Codex Autoresearch Skill — A self-directed iterative system for Codex that continuously cycles through: modify, verify, retain or discard, and repeat indefinitely. Inspired by Karpathy’s autoresear…

Typub - A Typst-first local CMS

A public NBS library for Notebot.

The open source coding agent.

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Blue Archive MomoTalk unofficial editor|碧蓝档案momotalk非官方编辑器

Typst中文教程

shiroa is a simple tool for creating modern online books in pure typst.

Proxy server to bypass Cloudflare protection

Saves Discord chat logs to a file

基于深度学习的p站高质量涩图AI爬虫，可以学会你的XP

Qwen3-VL is the multimodal large language model series developed by Qwen team, Alibaba Cloud.

Elasticsearch gui - desktop app, browser extension, docker, self hosted

《Real World Haskell》中文翻译项目

All Algorithms implemented in Python

This is a math library created by ka__er and his friends. Thanks: Xiao Dou, Ethan, Yhr_C, Stephen_Feng, tianqiyuan520, xwjcool. Feedback: kaer1024@foxmail.com

A modular library datapack for Minecraft mapmakers.

通过jsoup解析网页内容制作的esjzone api

[已停更] A third-party esjzone application for android with jetpack compose

A modular graph-based Retrieval-Augmented Generation (RAG) system

Development tools for vanilla Minecraft: Java Edition data pack developers.

A powerful Minecraft command library.

Datapack for Katashigure's minigame Yggdrasil Maze & Elegy Epeia & Skywar Ishtar

《Designing Data-Intensive Application》DDIA 第一版 / 第二版 中文翻译