Luke Chen's repositories
aiosmtplib
asyncio smtplib implementation
homebrew-taps
The core repo for taps are removing options, absolute nonsense
qrcode-viewer
To get access to QRCode of a specific post or page in the dashboard.
company-coq
IDE extensions for Proof General's Coq mode
fstar-mode.el
Emacs support for F*
homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
homebrew-core
🍻 Default formulae for the missing package manager for macOS
latex-homework-template
🎓📄 The LaTeX file that I used as the base for all my homework in university.
oh-my-zsh
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.