: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所大学采用教学。