OPEN SOURCE
INFRASTRUCTURE AS CODE
FOR HUMANS IN THE AI ERA
No drift. Minimal blast radius. AI at any scale.
All in code. Full control.
Stop pretending your Infrastructure-as-Code repository describes reality.
Infrastructure is constantly changed by humans, automation, and now AI agents
moving faster than you can keep up, while the codebase drifts
and engineers constantly reconcile it with what’s running.
formae continuously captures out-of-band changes and lets you evolve
infrastructure through code at any granularity with minimal blast radius.
Get started in minutes.
INFRASTRUCTURE,
BEFORE AND AFTER formae
State & drift fight?
Break free!
IaC, as it should be
WRITE SIMPLE, SAFE INFRASTRUCTURE CODE
Powered by the
Pkl language
formae uses Pkl to model infrastructure with schemas, constraints, and reusable abstractions. Pkl provides a clear and unambiguous way to express configuration, so infrastructure code stays simple to understand and safe to evolve. The result is code that humans can read at a glance and AI systems can generate and modify with precision.
Marc Schnitzius, Platform Engineering Lead at codecentric
"formae is designed for developers and platform engineers from the ground up. While this is a crucial pattern, formae doesn’t just move complexity from dev to ops — it truly helps achieve reduced cognitive load for both developers and operations teams by abstracting the complexity on both sides in modern cloud-native environments."
Always-current
infrastructure
model
formae continuously discovers and synchronizes infrastructure across your entire estate — cloud, clusters, and beyond. It maintains an always-current model of what’s running and becomes the system of record without requiring migrations or mandates.
Infrastructure changes at any granularity
Evolve infrastructure safely, from full rollouts down to single property updates, all expressed as code. formae applies precise changes with minimal blast radius while schemas and constraints keep environments predictable and reduce cognitive load.
Extensible and usable by anyone
formae is highly extensible and provides clear abstractions that make infrastructure accessible beyond infrastructure specialists. Engineers and AI systems can safely extend and evolve infrastructure as systems grow.
WORKS ALONGSIDE YOUR EXISTING INFRASTRUCTURE TOOLS
formae can be introduced without replacing existing Infrastructure as Code
or operational tooling. It runs alongside your current systems,
continuously discovering infrastructure and enabling incremental evolution.
NO MANDATES. NO MIGRATIONS
Michael Mueller, CTO re:cinq
"Every enterprise tries to do Platform Engineering and at the end only abstract infrastructure with Backstage, then fights maintaining it. Platform Engineering Labs solved this differently with native IaC abstraction that just works. No portal to build, no catalogs to sync. Exactly what our customers need."
HOW formae WORKS
formae operates through two complementary control loops that can run together on the same infrastructure.
Reconciliation loop
Infrastructure code declares the intended system. Changes flow through the infrastructure model and reconcile the running infrastructure based on the resulting diff, compatible with GitOps workflows.
Extract–patch loop
formae continuously maintains an always-current model of infrastructure. Engineers can extract code from the running system and evolve infrastructure through precise patches applied through the model, both at any granularity.
SEE formae IN ACTION
BUILT FOR EVERY ENGINEER , FOR EVERY USE CASE.
ALWAYS JUST ENOUGH DETAIL — NOTHING MORE.
BUILT FOR BUILDERS
formae gives you full control over your infrastructure model. Define your own schemas, shape infrastructure to match your mental model, and encode best practices directly into code. Build plugins, create abstractions, and expose simple interfaces for others — all without breaking safety or consistency.
NO HACKS. NO WORKAROUNDS.
JUST INFRASTRUCTURE, YOUR WAY.
HOW formae COMPARES
USED TO MANAGE REAL INFRASTRUCTURE
170,000+
Total downloads
250,000+
Managed resources
WHAT ENGINEERS SAY ABOUT formae
Carson Williams, Director Cloud Operations, Goods & Services
"I used to shudder when a client would say they wanted to IaC their 10-year-old, click-ops created production environment. formae now makes this possible. I was able to accomplish this exact requirement using formae. The tool is easy to work with and the team at Platform Engineering Labs is highly accessible and eager to help. formae is now an integral part of my toolkit."
Harry Brumleve, Founder of strategic technology firm Thoughtful Software, F250 Executive, and early stage advisor
"formae is a significant evolutionary leap forward in both devops and software development. It represents a shift in thinking as fundamental as source control, as practical as package management, and as vital as Observability. Formae's impact will extend beyond improving the lives of DevOps and Engineering teams to creating lasting and reliable value for businesses and their customers."
Stefan Staudenmeyer, Retail tech lead & infrastructure practitioner
„The best time to sunset Terraform was 5 years ago, the second best time is now. Significant time was invested into making the situation better for teams dealing with infrastructure, and formae is approaching the problem in a way that makes it super convenient for teams to get started, yet stay in control.“
Anthony Moreno, Seasoned On-Call Veteran. Led large global transformations and loves open-source tools that make real-world infrastructure management simple, reliable, and human.
"formae keeps infra management simple. It’s super easy to get started with, and you don’t need to wrestle with overly complex state management like other IaC tools. What I love most is how it adapts to reality instead of pretending the world is perfect. It picks up changes made outside the tool, merges them cleanly, and keeps your infrastructure code as the actual source of truth. That’s a big deal when you're debugging weird issues or need to understand what’s really running at 3am. As someone who’s often spinning up and tearing down environments for testing and investigation, formae can be a lifesaver. It enables me to make safe, scoped changes fast without worrying about blowing up the rest of my ecosystem."
Alexander Heusingfeld, Vice President Tech Strategy @ Vorwerk Group
"What I saw from the team was a perfect analysis and on point to the problems we‘ll have in platform engineering in the upcoming months and years - if we don’t change. Therefore I couldn’t be more excited to apply in practice what the team just launched!"
Mirco Kater, Information Security Officer at Ona
"I really like that Platform Engineering Labs is rebooting the space that is totally important for the modern IT, but is very prone to error and deprived of innovation for decades."
Robert Rychlik, Director of Technology, Tipico
"This platform could be a major breakthrough in managing infrastructure in software projects. It allows both easier services management, dependency discovery and gives engineers a new way to collaborate."