Pinned Repositories
dig
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
dynaroars.github.io
Dynaroars Website
annotated_deep_learning_paper_implementations
🧑🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠
coding-interview-university
A complete computer science study plan to become a software engineer.
cs-video-courses
List of Computer Science courses with video lectures.
EasyVC
A toolkit for any-to-any encoder-decoder voice conversion systems
free-programming-books
:books: Freely available programming books
hocdot.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
matthewbdwyer.github.io
ttmik
Talk to me in Korean Anki cards and related scripts
hocdot's Repositories
hocdot/annotated_deep_learning_paper_implementations
🧑🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠
hocdot/coding-interview-university
A complete computer science study plan to become a software engineer.
hocdot/cs-video-courses
List of Computer Science courses with video lectures.
hocdot/EasyVC
A toolkit for any-to-any encoder-decoder voice conversion systems
hocdot/free-programming-books
:books: Freely available programming books
hocdot/hocdot.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
hocdot/matthewbdwyer.github.io
hocdot/ttmik
Talk to me in Korean Anki cards and related scripts