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 website, right on the page.
Make the site you already have editable with one line, or let Webnak host a new one: from a template, a GitHub repository or your files, on your own domain. Change text, images and layout in place, and publish.
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.