Pinned Repositories
bazel_for_gcloud_python
Bazel rules for Python 3 Google App Engine and Google Cloud Functions deployment.
env
projecteuler
scripts
Personal scripts
xjtu_comp-org-lab
计算机组成原理实验课
xjtu_os_exp
操作系统实验课
weisi's Repositories
weisi/bazel_for_gcloud_python
Bazel rules for Python 3 Google App Engine and Google Cloud Functions deployment.
weisi/awesome-arend
Resources for Arend Theorem Prover.
weisi/env
weisi/scripts
Personal scripts
weisi/xjtu_comp-org-lab
计算机组成原理实验课
weisi/xjtu_os_exp
操作系统实验课
weisi/projecteuler
weisi/algorithms
人傻就要多写算法
weisi/aurora
Website: private gallery written in Django.
weisi/Dropbox-Allowlist
Dropbox Allowlist on Linux Server
weisi/sharpsmt
A toolkit for #SMT(LA) problems