Pinned Repositories
abella
An interactive theorem prover based on lambda-tree syntax
AndroidBackupHelper
pack/unpack an Android backup with proper format
Dissertation
ElementaryTypeInference
ECOOP 2022 Elementary Type Inference
estimathon
leaderkey
MagicTower
用Qt实现经典flash游戏魔塔。
SublimeAbella
TypingFormalization
JimmyZJX's Repositories
JimmyZJX/TypingFormalization
JimmyZJX/ElementaryTypeInference
ECOOP 2022 Elementary Type Inference
JimmyZJX/leaderkey
JimmyZJX/SublimeAbella
JimmyZJX/abella
An interactive theorem prover based on lambda-tree syntax
JimmyZJX/AndroidBackupHelper
pack/unpack an Android backup with proper format
JimmyZJX/Dissertation
JimmyZJX/estimathon
JimmyZJX/MagicTower
用Qt实现经典flash游戏魔塔。
JimmyZJX/7-billion-humans-solutions
Solutions for the game 7 Billion Humans
JimmyZJX/Abella-subtyping-algorithm
Abella source code for `Formalization of a Polymorphic Subtyping Algorithm`
JimmyZJX/Auto.js
A UiAutomator on android, does not need root access(安卓平台上的JavaScript自动化工具)
JimmyZJX/bilibili-API-collect
哔哩哔哩-API收集整理【不断更新中....】
JimmyZJX/CefSharp
.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework
JimmyZJX/COC_Util
COC Utils for TouchSprite on iPad
JimmyZJX/dsp-calc
戴森球计划量化计算器(新UI版)
JimmyZJX/DSP_web_quantizing_calculator
戴森球量化计算器，html版
JimmyZJX/fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
JimmyZJX/go-to-next-problem
JimmyZJX/HKU_Moodle_VPL_Grade_Helper
JimmyZJX/MC1.8_source
JimmyZJX/package_control_channel
Default channel file for Package Control. Follow the directions at:
JimmyZJX/Rewrap
Rewrap extension for VSCode and Visual Studio
JimmyZJX/shadowsocks
See https://github.com/Long-live-shadowsocks/
JimmyZJX/shadowsocks-1
JimmyZJX/Sublime-Coq
Coq programming language support for Sublime Text
JimmyZJX/tv-bro
Simple web browser for android optimized to use with TV remote
JimmyZJX/Vim
:star: Vim for Visual Studio Code
JimmyZJX/vscode-ripgrep
JimmyZJX/vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]