Build software you can prove.Ship websites you can edit.
Wolfigs is a developer-tools studio. We build deterministic infrastructure and delightfully visual products, from a topology compiler for Java to in-place editing for any website.
We imagine, then we abstract
Built at Wolfigs
Edit any live website, visually.
Drop in one script tag and change text, images, and layout on your real site, no code, no redeploy. Edits are bound to meaning, so they survive when your markup changes.
Learn moreTopology is a compile flag.
A build-time topology compiler for Java. Develop one modular monorepo against distributed semantics, verify its boundaries continuously, and compile it, deterministically, to a monolith or microservices.
Learn moreMore tools from the Wolfigs lab are in the works, built on the same principle: if it can't be made deterministic, it isn't done.
How we build
Deterministic by construction
Every transformation is a pure function of its input. Run it twice, diff the bytes, that test ships in every product we make.
Declared over inferred
Inference from arbitrary code is an unwinnable heuristics war. Our tools verify what you declare, verification is decidable, discovery never was.
Honest abstractions
Every leaky edge gets a real escape hatch instead of a pretense. When an abstraction reaches its ceiling, we say so, in the docs, in the types.
Try the tools. They're open and provable.
Start editing a live site with Webnak, or explore Prism's compiler on GitHub.
