This package contains various packages and tools that support the Go programming language. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs.