zidongtuili

Pinned Repositories

BM_test
0 1 00
dmenu-extended
An extension to dmenu for quickly opening files and folders.
Language:Python00
HOL-Light-Deps-1
HOL Light Metadata and Dependency Tracker
Language:Standard ML0 1 00
NetEaseMusicWorld
Unlock NetEase Music for World.
Language:JavaScript0 1 00
ocaml.org
Implementation of the ocaml.org website.
Language:OCaml00

zidongtuili's Repositories

zidongtuili/BM_test
0 1 00
zidongtuili/dmenu-extended
An extension to dmenu for quickly opening files and folders.
Language:Python00
zidongtuili/HOL-Light-Deps-1
HOL Light Metadata and Dependency Tracker
Language:Standard ML0 1 00
zidongtuili/NetEaseMusicWorld
Unlock NetEase Music for World.
Language:JavaScript0 1 00
zidongtuili/ocaml.org
Implementation of the ocaml.org website.
Language:OCaml00