Mathematical Statistical Software
Current programming research projects in scalable data science
Other programming research projects at LaMaStEx

MRS2.0  a C++ class library for statistical set processing and computeraided proofs in statistics