Skantz's Stars
tanmoyie/Operations-Research-Theory
Some lecture notes of Operations Research (usually taught in Junior year of BS) can be found in this repository along with some Python programming codes to solve numerous problems of Optimization including Travelling Salesman, Minimum Spanning Tree and so on.
xiaohanyu/awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
inducer/pymetis
A Python wrapper around Metis, a graph partitioning package
wurmen/Gurobi-Python
Learning how to use gurobi with python (in chinese)
system-f/fp-course
Functional Programming Course
deeperlearning/professional-cuda-c-programming
brucefan1983/CUDA-Programming
Sample codes for my CUDA programming book
taichi-dev/difftaichi
10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)
thu-ml/tianshou
An elegant PyTorch deep reinforcement learning library.
mas-group/jshop2
JSHOP2 planner with support for JIT execution of plans. This is a fork of the original JSHOP2 planner that can be found at https://sourceforge.net/projects/shop/
Trinkle23897/Computational-Graphics-THU-2018
Computational Graphics - THU Spring 2018
Karmenzind/vim-tmuxlike
A vim plugin that mimics the actions of tmux. Control buffers and tabs like tmux panes.
GaPhil/number-theory
Implementing concepts from Number Theory
LudwikJaniuk/expander-decomp
Skantz/formal-methods
KTH Royal Institute of Technology DD2452
GaPhil/scripts
Fun repo for practising some scripting