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