As an automation engineer and architect, I have been using IaC tools like Terraform for years. Recently, I started exploring and learning Pulumi, an Infrastructure as Code platform that lets developers and teams create, deploy, and manage cloud resources using familiar programming languages. As part of my weekend reading, I came across a new announcement about an open-source platform called Formae. In this article, let’s learn about Formae and how it uses PKL, a configuration-as-code language. 

Infrastructure-as-code has transformed how we manage cloud resources, yet fundamental challenges persist: state file corruption, drift detection complexity, and the painful process of codifying existing infrastructure. Enter Formae, an open-source platform launched in October 2025 by Platform Engineering Labs, that challenges these conventions by leveraging Apple’s PKL configuration language and introducing a stateless, auto-discovering approach to infrastructure management.