Moirai is a programming language for server-based real-time computing (RTC). The worst-case execution time (WCET) is calculated for every script before it is executed. Moirai is ideal for multi-tenant microservices and serverless applications. With a sufficiently pessimistic WCET limit, individual tenants will be unable to take down the server for all tenants. The language has a detailed syntax guide, a Kotlin API for integration with Kotlin or Java projects, and a guide for getting started. It is used for multi-tenant serverless or cloud compute services, replacing JSON requests in web APIs, quick updates in live services, workflow and config languages, and as a build tool language. The method for calculating WCET involves dependently-typed collections, cost expressions, and rejection of programs with excessive execution time. Examples illustrate how the compiler ensures safe execution by analyzing code and rejecting computations that exceed specified limits.
