折腾历程
2024冬 ~ 2025夏
当时我做过的最大的、可以给别人用的项目:)
跨平台加密语音日志
小组项目（私有仓库）：
一个面向过程语言的编译器
一个单核教学操作系统
写小组项目的时候搞的：
Git代码库中贡献可视化
ricing用的，虽然我现在不怎么rice了:)
图像颜色分布可视化
第一个全栈项目，打通了前端、后端、调库之类的环节：
五满星教育平台
小组项目，试了试Haskell写后端：
眠营手机应用
学Clojure写的小玩具：
查查你的编程语言成分
为了支持开源精神，和Github脱钩搞的：
设置Git“镜像源”
2023冬 ~ 2024年夏
我那是算是个技术／框架发烧友，可以说，是我开源精神最强的时候。一方面，我有了一些技术可以写一些小东西，另一方面，这一能力让我沉迷，我迫不及待地想要运用它。
自然演绎证明编译器
易用的ndpc前端
当时这两个项目是我的骄傲，本来想让X机构用的，但很遗憾后来他们好像准备迁移到Lean了。
不过我很享受开发过程，这个项目的逻辑相当优雅。
相关项目：
自然演绎标记语言的Vim插件
一个小组项目（私有仓库）：
ARM解释器+汇编器
我业余时间做的一些东西：
极简Flutter笔记应用
那时候其实还没咋搞明白flutter
极简C项目构建工具
基于Treesitter的Neovim导航插件
我第一个发布的 Neovim 插件，代码挺烂的，我自己好像已经好久不用了。
烂尾了，当时想写自己的编辑器写着玩的
烂尾了，当时想写自己的编辑器写着玩的
那时候工程能力还不过关啊，都不太会引库。
2023年及之前
我2021年第一次正经学编程。陆陆续续写了点小玩具，有些的源代码还在我硬盘上（
- 一个Enigma加密程序
- 一个Java Swing写的应用启动器
- 一个坏掉的五子棋AI（暴力搜索+剪枝）
- 一个只存在于PPT的计算机病毒，客户端试了一下Go。
从2023年起，我开始捣鼓Neovim。那时我经常在Neovim论坛上吹水，研究优化自己的配置、搞一些插件，比较牛逼的是guard.nvim。作者glepnir，现在主要我维护。
轻量、快速、异步的Neovim格式化和代码检查插件