Zhilei Han
linusboyle
PhD candidate @ Tsinghua University. Research on formal verification.
Languages
Repos
84
Stars
14
Forks
3
Top Language
C++
Loading contributions...
Top Repositories
Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)
a mini py3 interpreter
Qt-based GUI Microfluidics Designer 基于Qt的微流控生物芯片设计器
造台路由器
my old jekyll blog
A FoundryVTT module that allows embedding HTML files on scenes.
Repositories
84No description provided.
Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)
No description provided.
A Simple but Powerful RSS Reader for Miniflux
No description provided.
A version of Redis that uses persistent memory
No description provided.
Multilingual sentence alignment using sentence embeddings
A FoundryVTT module that allows embedding HTML files on scenes.
Deploy a Gemini multimodal chat website in 10 seconds, Severless! 只需准备一个Gemini API Key，10秒即可部署一个Gemini多模态对话的网站。
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
a mini py3 interpreter
OSE 风格的 Typst 书籍模版
No description provided.
🧡 Everything is RSSible
A fast and customizable music and podcast downloader.
docker-registry proxy run in cloudflare workers
A machine translation plugin that can call OpenAI and Claude APIs within OmegaT
BLOG
No description provided.
my dotfiles:)
No description provided.
Qt-based GUI Microfluidics Designer 基于Qt的微流控生物芯片设计器
造台路由器
a simple ray tracer
Boogie
mirrored from https://cr.deepin.io/#/admin/projects/deepin-notifications
(Experimental)dark mode and style for goldendict
No description provided.
my old jekyll blog