Languages, Programs and Systems
Homebrew
MacPorts
OCaml
CTAN
TUG
FSF
GTK
Unison file synchronizer
Emacs
Didier Rémy's LaTeX Macros
ccrypt
Apple Developer Connection
Apple bug reporter
Skim PDF Reader and Note-taker
GPG Suite
Coq Quick Reference
Formosa Crypto Project
Alley Stoughton
(
alley.stoughton@icloud.com
)