$ cat /proc/about_me
λ XMU CS undergrad | ICT CAS intern
⟁ Obsessed with PL/PA enlightenment & LLM applications
⌘ Booting Arborchive into reality 🛸
≡ Arch/Niri maximalist with formatter-obsessed dotfiles
φ OCaml-curious 🐪 | Midnight Coder 🌙 | Love Math Rock 💊
😵💫
Reading papers
UG in XMU. Currently intern in ICT CAS.
Interested in PL, PA, SE and Cool Stuff.
-
Xiamen University
- Zhejiang China
-
05:28
(UTC +08:00) - in/haoyuan-li-550720353
- @goway_lee7588
- https://aur.archlinux.org/account/haoyuanli2004
Pinned Loading
-
Arborchive
Arborchive PublicParse code into its abstract syntax tree (AST) with libclang and store it in a SQLite database, capturing the essence of code structure for analysis, debugging, and creative exploration.
C++ 3
-
reform.nvim
reform.nvim PublicA fast, realtime, line-based formatting plugin for neovim. Inspired by vim-rt-format.
Lua 2
-
agent-sync
agent-sync PublicA cli tool to sync markdown files (CLAUDE.md, GEMINI.md etc.) between different code agents
OCaml 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.