Opensource repository for the public research of the Wolfram Institute for Computational Foundations of Science.