Cheng Zhang's repositories
unicode-math-vscode
Easy insertion of unicode math symbols
chocolateyPackage
[deprecated] all my choco package
Crash-Into-Python
<"Best way to learn a language is by crashing into it" by myself> A Python Tutorial Made For My Friends.
a_little_toy
this is just a little toy I created to change name into name of the element
ahkScripts
my ahk scripts
browser-android-tabs
Brave Android Browser
czhang03.github.io
personal website
Dvorak-QWERTY-Ctrl
A Windows counterpart to the Mac OS X "Dvorak - QWERTY ⌘" keyboard layout
goals-2018
clone of MITT 6.824
Honor-Thesis
My Undergrad Honor Thesis in Graph Theory
publish-extensions
Scripts for publishing VS Code extensions to open-vsx.org
relation-algebra
Relation algebra library for Coq
vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
vscode-ats2
ATS language support for VS Code
un-unicode
Convert unicode math symbols to LaTeX commands
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
mouseless
A replacement for the mouse in Linux
secureblue
Immutable Fedora images for GNOME, KDE, Bluefin, Sway, Cinnamon, and Wayfire with some hardening applied
sGKCT
Symbolic Algorithm for Guarded Kleene Algebra With Tests
Thesis
My PhD Thesis, which is just a concatenation of some of my works.
wifi_bt_auto_off
automatically turn off your wifi and bluetooth after disconnection for a while