Projects
jiyi
Cross-platform encrypted voice note app
ndpc
Natural deduction proof compiler
Aristotle
IDE-like graphical frontend for ndpc
xingli
Educational lambda calculus type inference engine
STLC_Lean
Lean 4 formal verification of principal type inference for the simply typed lambda calculus
sefenbu
Visualizes OKHSV color distribution for an image
git-biance
Shows and visualizes contributions in a git repo
boxproof-typst
Natural deduction proofs in typst
chengfen
Check your programming language composition (line counter)
guard.nvim
Lightweight, fast and async formatting and linting plugin for Neovim
wrench
Minimal alternative to GNU make for your C project
notes
Extremely minimalist note taking app with flutter
squirrel.nvim
Treesitter based navigation plugin
git-mirror
Set up and maintain Git repository mirrors across multiple forges
Agent coded Projects
dsh-desktop-pet
Cross-platform desktop pet for DeepSeek Harness
dsh-vision
Vision plugin for DeepSeek Harness
dsh-weixin
WeChat plugin for DeepSeek Harness with file transfer support
dsh-tui
Minimal terminal interface for DeepSeek Harness
daboyi
Europa Universalis V alternate-history map editor
kaiyuanqimin
Agricultural price forecasting from historical and weather data
dired.nvim
Personal Neovim file-tree workflow
SHI
AI-powered interactive historical and geographic map