The Knowledge-Centric Software Lab has developed several domain specific analysis toolboxes on top of Atlas for various program analysis tasks. The catalog of toolboxes can be found at: https://ensoftcorp.github.io/toolbox-repository.
The KCSL lab also has a Github organization with some active projects at: https://github.com/kcsl.