formae logo
IaC Open Source

formae

by Platform Engineering Labs

Starting at

Free (open source, Functional Source License)

An open-source Infrastructure-as-Code platform that treats live infrastructure reality, not separate state files, as the source of truth, automatically discovering and codifying existing resources. Multi-cloud since early 2026.

Last verified: July 2026

Overview

formae is an open-source Infrastructure-as-Code platform from New York-based Platform Engineering Labs, announced on October 22, 2025. It is positioned as a rethink of the IaC model pioneered by Terraform, with the central idea that the live state of your infrastructure, rather than a separate state file, should be the source of truth.

How It Works

formae operates in two modes: a reconcile mode that aligns your desired environment with production reality, and a patch mode that applies incremental changes. It automatically discovers and maps running resources across a cloud estate, regardless of whether they were created by Terraform, OpenTofu, Pulumi, manual console operations, or legacy scripts. Its agent-based architecture decouples state management from clients, and configuration is written in PKL, the configuration language originally developed by Apple.

Open Source and Licensing

The project is published under a Functional Source License and is available on GitHub, with community discussion happening on Discord. That makes it free to adopt, though the Functional Source License is a source-available license rather than a standard OSI-approved open-source license, which some teams will want to evaluate before committing.

Who It's For

formae appeals to platform engineers frustrated by state-file drift and by infrastructure that was created outside of code. Its automatic discovery is the standout differentiator. The main trade-offs are maturity and the choice of PKL over HCL, so it is best suited to teams willing to bet on a new approach rather than those who need the deep community support and ecosystem of established tools.

Pros

  • + Treats real infrastructure state as the source of truth instead of state files
  • + Automatically discovers and codifies resources created by any tool or manual ClickOps
  • + Reconcile and patch modes for full or incremental changes
  • + Agent-based architecture decouples state management from clients
  • + Open source and free to adopt

Cons

  • - Uses Apple's PKL configuration language instead of familiar HCL
  • - Very new with a small community and ecosystem
  • - Competing against mature
  • - entrenched tools
  • - Functional Source License is not a standard OSI-approved license

What Users Actually Complain About

Adoption requires learning PKL instead of HashiCorp Configuration Language, which some practitioners view as a barrier. Multi-cloud support (GCP, Azure, OCI, OVHcloud) was added in beta on January 28, 2026, expanding beyond the initial AWS-only launch (October 2025) — non-AWS providers are still beta. As a recently launched tool it has a small community, limited third-party integrations, and a short production track record.

Skip it if:

You need a battle-tested tool with a large community, extensive provider ecosystem, and long production history, or your team is unwilling to adopt PKL over HCL. Organizations that require a strictly OSI-approved open-source license should review the Functional Source License terms first.

Based on community feedback from Reddit, HN, and G2 reviews.

Frequently Asked Questions

What is formae?

An open-source Infrastructure-as-Code platform that treats live infrastructure reality, not separate state files, as the source of truth, automatically discovering and codifying existing resources. Multi-cloud since early 2026.

How much does formae cost?

formae uses a open source pricing model with plans starting at Free (open source, Functional Source License).

What are the main advantages of formae?

The key advantages of formae include: Treats real infrastructure state as the source of truth instead of state files; Automatically discovers and codifies resources created by any tool or manual ClickOps; Reconcile and patch modes for full or incremental changes; Agent-based architecture decouples state management from clients; Open source and free to adopt.

What are the drawbacks of formae?

Some limitations to consider: Uses Apple's PKL configuration language instead of familiar HCL; Very new with a small community and ecosystem; Competing against mature; entrenched tools; Functional Source License is not a standard OSI-approved license.

What category does formae belong to?

formae is a IaC tool developed by Platform Engineering Labs.

IaC Guides

Try formae

Starting at Free (open source, Functional Source License)

Other IaC Tools

View all 22 tools →