Software related to theoretical computer science.