Pinned Repositories
AbsoluteBeginnersWin10
中文版视频点这里：http://space.bilibili.com/18340402
chocolateyPackage
[deprecated] all my choco package
CV
My CV built with moderncv
czhang03.github.io
personal website
github2choco
create and manage your choco package like insane
Honor-Thesis
My Undergrad Honor Thesis in Graph Theory
power-theme
[deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager
un-unicode
Convert unicode math symbols to LaTeX commands
unicode-math-vscode
Easy insertion of unicode math symbols
secureblue
Hardened Fedora Atomic and Fedora CoreOS images
czhang03's Repositories
czhang03/unicode-math-vscode
Easy insertion of unicode math symbols
czhang03/chocolateyPackage
[deprecated] all my choco package
czhang03/Crash-Into-Python
<"Best way to learn a language is by crashing into it" by myself> A Python Tutorial Made For My Friends.
czhang03/ahkScripts
my ahk scripts
czhang03/browser-android-tabs
Brave Android Browser
czhang03/CV
My CV built with moderncv
czhang03/czhang03.github.io
personal website
czhang03/dDynamic
a minimal dependently typed language with equality resolving at runtime
czhang03/Dvorak-QWERTY-Ctrl
A Windows counterpart to the Mac OS X "Dvorak - QWERTY ⌘" keyboard layout
czhang03/goals-2018
clone of MITT 6.824
czhang03/Honor-Thesis
My Undergrad Honor Thesis in Graph Theory
czhang03/publish-extensions
Scripts for publishing VS Code extensions to open-vsx.org
czhang03/relation-algebra
Relation algebra library for Coq
czhang03/test
czhang03/test-repo
czhang03/vscode-ats2
ATS language support for VS Code
czhang03/un-unicode
Convert unicode math symbols to LaTeX commands
czhang03/distrobox
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
czhang03/ide-flatpak-wrapper
Wrapper for setting up development environment in flatpak sandbox
czhang03/io.gitlab.librewolf-community
czhang03/mouseless
A replacement for the mouse in Linux
czhang03/org.freedesktop.Sdk.Extension.ocaml
czhang03/org.zotero.Zotero
czhang03/Research-Statement
czhang03/secureblue
Immutable Fedora images for GNOME, KDE, Bluefin, Sway, Cinnamon, and Wayfire with some hardening applied
czhang03/sGKCT
Symbolic Algorithm for Guarded Kleene Algebra With Tests
czhang03/teaching-statement
My Teaching Statement For Research University Applications
czhang03/Thesis
My PhD Thesis, which is just a concatenation of some of my works.
czhang03/us.zoom.Zoom
czhang03/wifi_bt_auto_off
automatically turn off your wifi and bluetooth after disconnection for a while