JimmyZJX

leaderkey. TypeScript

TypingFormalization. TeX

vscode-ripgrep. TypeScript

ElementaryTypeInference. ECOOP 2022 Elementary Type Inference

SublimeAbella. Python

estimathon. JavaScript

MagicTower. 用Qt实现经典flash游戏魔塔。

AndroidBackupHelper. pack/unpack an Android backup with proper format

abella. An interactive theorem prover based on lambda-tree syntax

Dissertation. TeX