: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.
A python wrapper for the Apple Music API
High-velocity, monorepo-scale workflow for Git
The open-source repo for docs.github.com
Noto fonts, except for CJK and emoji
《动手学深度学习》:面向中文读者、能运行、可讨论。中英文版被全球200所大学采用教学。