dotfiles🗿 dotfilery, configuration, environment settings, automation, etc. 🛖
zk.nvimNeovim plugin as a lightweight wrapper around https://github.com/mickael-menu/zk
rulegin基于JavaScript Engine的轻量级规则引擎系统,重构于开源IOT项目thingboard
reverieAn efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.