accessor-hs: 一个类似lens的库，但是没有那么复杂，用了一些技巧把getter、setter串起来。可能它们的本质就是某种functor，但是我不擅长范畴论，无法看破其中的奥妙。
flex-record: 用了很多类型级编程技巧创建的在类型层可以获得字段名字和类型的record类型和sum type。有点类似Vinyl。
typed-rpc: 类型安全的Haskell JSON API服务端框架，可以看成是穷人的servant。
hive-mind-ygo: 游戏王轮抽工具。不过目前还没有找到足够的人一起玩游戏王轮抽。
ezlive: 直播工具，可以接受OBS推流然后转成HLS流，上传到S3兼容的存储捅上。主要目的是利用免费的Cloudflare R1搭建地下直播间。
lmp: 一个整活项目。用C++模板元编程实现了类似Lisp的功能（cons, car, cdr, reverse, 等等）。曾一度登上Hacker News首页。
mvvmm: 我的得意作品，用1000多行C代码实现了完整的基于KVM的虚拟机管理器，实现了块设备和网络设备的VirtIO模拟，可以运行主流Linux发行版，并且性能不低。
ygo-deck-builder: 一个游戏王卡组编辑器，支持中文、英文、日文，OCG、简中文、TCG、Genesys等多种环境。【传送门】。
jitasm: Python中的x86-64 JIT汇编器。主要动机是在Python里面写SIMD。
basher: 用Python实现的极简的AI agent。
bamboo-lisp: 简单的tree-walking Lisp解释器。支持尾调用优化、词法作用域。采用Lisp-2设计，性能和风格类似早期Emacs Lisp。
Email: i (at) mistivia (dot) com