DietPi, a light-weight distribution (aka "distro") for single-board computers like the Raspberry Pi. Since I use mine as more of a home server than anything I don't need Wolfram or even a desktop installed. This strips most of that out and is considerably lighter on resources than say Raspbian.