Pinglei Guo

https://pkg.go.dev/golang.org/x/tools/go/ast/astutil?tab=doc#AddImport astutil contains add and remove imports, looks pretty good ... not sure if we can do something similar to goimports using that

https://github.com/cockroachdb/crlfmt/blob/master/main.go#L238 found one from cockroachdb, crlfmt

https://github.com/OpenPeeDeeP/depguard found from golint ci

- https://coq.inria.fr/ > a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked...

- https://www.surveygizmo.com/ the survey ~~software~~ service that my current school (UCSC) is using. cc @ComMouse @arrowrowe

- https://mhacks.org/ cc @LukeXuan > MHacks is run by a group of dedicated and passionate young people, most of whom are students at the University of Michigan.

- https://github.com/tgalopin/SimHashPhp cc @ComMouse > SimHashPHP is a PHP library that port the SimHash algorithm in PHP. This algorithm, created by Moses Charikar, provides an efficient way to compute a...

- https://conemu.github.io/ cc @kdplus

@arrowrowe @ComMouse have a try on weekly?

- https://github.com/gztchan/awesome-design cc @scottsun94