JimmyZJX

Advanced
@JimmyZJX

leaderkey. TypeScript

35

TypingFormalization. TeX

16

vscode-ripgrep. TypeScript

4

ElementaryTypeInference. ECOOP 2022 Elementary Type Inference

3

SublimeAbella. Python

2

estimathon. JavaScript

1

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

1

AndroidBackupHelper. pack/unpack an Android backup with proper format

1

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

1

Dissertation. TeX

1
10
Apply