Post

Hello world! Panproto is a data migration framework that can be used with a wide variety of schema languages: ATProto, JSON Schema, OpenAPI, Protobuf, GraphQL, SQL DDL, and a ton more.

panproto.devpanproto | schematic version controlOne engine for schematic version control within and across any schema language. Built on generalized algebraic theories for provably correct migrations.

29/4/26, 2:32 pm0 reposts2 likes

panproto

@panproto.dev

29 Apr

The main idea is that every schema language it supports translates into one common graph format.

panproto

@panproto.dev

29 Apr

That means you can hand it two versions of a schema in any of the languages it supports, and it'll computes the diff, classify whether the change is breaking, and generate a converter that turns old records into new ones.

panproto

@panproto.dev

29 Apr

What's even better is that adding support for a new schema language just involves writing a description of it. Nothing about the underlying engine needs to change.

panproto

@panproto.dev

29 Apr

The generated converter goes both directions. The forward direction turns an old record into a new one; the backward direction converts it back, recovering whatever the forward path dropped (if anything) via a side channel called a complement.