A tool for writing better scripts

🥢像老乡鸡🐔那样做饭。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.

Fast math typesetting for the web.

本仓库包含对 Claude Code v1.0.33 进行逆向工程的完整研究和分析资料。包括对混淆源代码的深度技术分析、系统架构文档，以及重构 Claude Code agent 系统的实现蓝图。主要发现包括实时 Steering 机制、多 Agent 架构、智能上下文管理和工具执行管道。该项目为理解现代 AI agent 系统设计和实现提供技术参考。

A simplified Jira clone built with React/Babel (Client), and Node/TypeScript (API). Auto formatted with Prettier, tested with Cypress.

🌊 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo

An ahead-of-time JavaScript compiler

Web browser engineering (a book)

A List of Foundational Haskell Papers

A minimal pure functional language based on self dependent types.

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]