Home

Caffeine Lang is an opinionated compiler for generating reliability artifacts from system expectations. It fills a gap in the Site Reliability Engineering (SRE) tooling ecosystem by sitting between the worlds of formal system modelling and system theoretic process analysis (STPA) and SLO tool generation, trading in formality for pragmatism, but taking a slightly more formal approach than an APM or an SLO generation tool like Sloth.

To begin, a user defines two types of documents: specifications that declare system expectation blueprints and instantiations that implement these blueprints. The compiler consumes these documents, ensuring both syntactically and semantically everything make sense before generating Terraform, visualizations, or whatever other artifact the user desires.

Caffeine's more formal, full compilation approach introduces a novel semantic analysis step, providing extra compile time guarantees.