I feel like there was a name for formal specs that produce an exact output, but it escapes me…

Another one, WebAssembly people recreating application servers, and networking object models.