Abstract: An open compiler system for the construction of safe and correct computational systems. This system allows a user to define multiple computational resources, each of which containing multiple computations, which, together, provide some desired functionality. This system generates the artifacts required to create such computational resources, may verify logical properties of such a system, may integrate user-defined programs in the process of compiling such artifacts, and may allow for the deployment, debugging, and monitoring of such computational resources.