The invariant project A storage system of invariant data that can be used for general purpose programming.