Lists (11)
Starred repositories
A growing pile of AI-assisted 3D model nonsense, mostly printable.
My solutions to the Lean 4 Natural Number Game
This is my digital garden where I publish whatever I'm learning, it doesn't have to be only tech. It can be science, maths, game theory, game dev, philosophy, etc
API, command and message handling for WeChat in Rails
小火箭规则🚀，小火箭模块，小火箭配置，shadowrocket规则，shadowrocket rules，最全面的直连（DIRECT）、代理（PROXY）、屏蔽（REJECT）规则，自动构建，每日更新
A platform for community discussion. Free, open, simple.
agent-sandbox enables easy management of isolated, stateful, singleton workloads, ideal for use cases like AI agent runtimes.
一键同步文章到多个内容平台，支持今日头条、WordPress、知乎、简书、掘金、CSDN、typecho各大平台，一次发布，多平台同步发布。解放个人生产力
The standard template to create a lean game
A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.
A browser extension for showing the size of repos.
🐜🐜🐜 ants is the most powerful and reliable pooling solution for Go.
CS61A Structure and Interpretationof Computer Programs @UC Berkeley
Go implementation of the Ethereum protocol
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
An open, technical and introductory book for the Zig programming language 📚📖
Hotkey overlay tool for Hearthstone Battlegrounds