Zhilei Han's repositories
dde-dock-mpd
Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)
QMicroFluidics
Qt-based GUI Microfluidics Designer 基于Qt的微流控生物芯片设计器
simple_pinyin_IM
trival Pinyin Input Method, hw of Tsinghua AI intro course人工智能导论拼音输入法
deeplearning_sina
人工智能导论 情感分析神经网络
goldendict_dark_mode
(Experimental)dark mode and style for goldendict
MiniPython3
a mini py3 interpreter
cantata
Qt5 Graphical MPD Client for Linux, Windows, macOS, Haiku
church-cpp
an implementation of basic church encodings
CompCert
The CompCert formally-verified C compiler
connect-four-ai
an AI for connect4 game. Using MCTS
Coqtail
Interactive Coq Proofs in Vim
cxml
just a simple xml parser in OCaml/Coq, using pxp
deepin-develop-guide
Deepin开发指南（包括 开发环境的搭建与配置、deepin下打包教程（deb、flatpak）、Deepin Tool Kit API手册）
deepin-notifications
mirrored from https://cr.deepin.io/#/admin/projects/deepin-notifications
dict_files
my dictionary files
fcitx_toggle.vim
simple script to automatically toggle your beloved fcitx in vim
git
Git 中文本地化请参考 master, maint, pu 分支。注意事项参见博客链接
insight
A Tcl/Tk Frontend for GDB. This is a portable package of insight for the sake of Jeff Duntemann's amazing book.
LeaderF
An asynchronous fuzzy finder which is used to quickly locate files, buffers, mrus, tags, etc. in large project.
mydic
my dictionary files
NewsApp
An example Android news application安卓新闻类应用示例
ocr_spectacle
a simple script to help recognize words, using kde's spectacle and Baidu OCR API
quick-scope
Lightning fast left-right movement in Vim
Router-Lab-1
Network Principles 2019
vimways.org
vimways.org
vpager
Pipe input from Vims terminal directly back into Vim
ZChess
Qt-based Chinese Chess Game with Support of Network