Explore projects

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

This is a copy of TinyXML2 parser

This is a copy of the TinyXML parser.

This is a copy of the BuDDy library.

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

C++ implementation of the Factor Oracle structure