https://github.com/alipay/sofa-jraft saw it on twitter

https://github.com/VKCOM/noverify a fst php static analyser in go using a php parser https://github.com/z7zmey/php-parser

https://github.com/uber/kraken P2P docker registry capable of distributing TBs of data in seconds (also mentioned its difference w/ dragon fly)

ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf

 rust borrow checker 的形式化定义，还没看

http://landoflisp.com Land of Lisp, 最后的漫画好看（

https://github.com/poteto/hiring-without-whiteboards

https://github.com/NationalSecurityAgency/lemongraph graph db based on LMDB