Another great resource to add

[mohanr]

I did't find this ( https://cs.au.dk/~amoeller/spa/) in your list. Apart from many resources linked from this page, it also has a Scala implementation of analysis techniques known as TIP.

Thanks