:clown_face: A commandline tool helps to check your dev environment.
Install gems in Jupyter notebook or IRB/Pry console on the fly.
:rooster: Coq plugin for ASDF version manager.
:rooster: All available Coq versions.
This tool is used to install `plenv` and friends.
《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被全球200所大学采用教学。
🌟🎸🌟UI很简洁的中文诗歌主页, 包含唐诗宋词三百首，花间集，南唐二主词，古诗十九首，教科书选诗等文集
hugo-with-github-issues
My personal TabHub resource collection.
Chrome Developers
