Ke Shen's Projects
dotfiles backup
100 Days of ML Coding
blog
My books
The ledger implementation and specifications of the Cardano blockchain.
My Github Profile
Location management program for airport
HCTF2017_babycrack
Homotopy type theory
The University of Edinburgh Hyperloop Team
Over 200 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, Microsoft's Windows Terminal
An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.
Dynamic realtime profile ReadMe linked with spotify
An Open Toolkit for Uncertain Knowledge Embedding
Hey, ouuan here! :wave:
Shared repository of walking motion capture data for PDIoT
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Programming Language Foundations in Lean
Curated list of project-based tutorials
https://github.githubassets.com/images/mona-whisper.gif
清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University