My tech registry

This registry lists every single technology I have installed globally, so I can easily reproduce my environment and keep everything up to date.

Anything that's installed by brew doesn't need detailed instructions, just run brew update && brew upgrade && brew cleanup.

Browsers

Firefox Google Chrome Safari

Development tools

Homebrew /opt/homebrew/bin/brew

Bash Script /opt/homebrew/bin/bash

Git /opt/homebrew/bin/git

Visual Studio Code

Docker

GPG /usr/local/bin/gpg (symlink to /usr/local/MacGPG2/bin/gpg)

Language tools

C C++

Thanks to Apple, my C/C++ setup is very complex.

Dafny /opt/homebrew/bin/dafny

Haskell

JavaScript TypeScript

Julia

LaTeX

Lean

Racket

OCaml

Perl

Python

R

Ruby

Rust

Wolfram

Other command line tools

Other libraries: