// the find
platform-engineering-labs/formae
Infrastructure-as-Code Platform Built for the Future
formae is an IaC tool written in Go that uses Apple's Pkl language for schema-safe infrastructure definitions. Its core differentiator is drift reconciliation that merges out-of-band changes back into your code rather than flagging them as errors or overwriting them. Aimed at platform engineering teams that want typed, versionable infrastructure with a plugin architecture for different cloud providers.
The drift-merge model is genuinely interesting — instead of the Terraform 'your state is wrong, deal with it' problem, formae absorbs ClickOps and external tool changes into the code. The actor-based internal architecture (metastructure package) and extensive use of test suites including mutation and property-based tests suggest this isn't throwaway code. Supporting three datastores (SQLite, Postgres, MSSQL) with a shared migration test suite is solid engineering discipline. The plugin model with a hub client means providers can be distributed independently without forking the core.
FSL-1.1-ALv2 is not open source — it converts to Apache 2.0 after two years, but right now you cannot use this commercially without the licensor's permission, which is a hard stop for most enterprise adoptions. Pkl is a pretty obscure Apple-owned configuration language with a tiny ecosystem; you're betting your IaC on something that could be quietly shelved. 749 stars and 38 forks for something this ambitious means the provider ecosystem is thin — if your cloud provider doesn't have a plugin, you're writing one yourself. No public documentation of how the drift merge actually resolves conflicts when the code intent and the outside change are semantically incompatible.