Projects

jiyi

Cross-platform encrypted voice note app

ndpc

Natural deduction proof compiler

xingli

Educational lambda calculus type inference engine

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