iiinova — where your digital self keeps evolving

Reposted by panproto

idiolect @idiolect.dev · 18/09/2026

We have a new release (v0.13.0) that introduces a bunch of new community management tooling. There is now one portable path from a governed definition change through consequence analysis, review, verification, signed release, resumable migration, federation, and exit.

github.com

Release v0.13.0 · idiolect-dev/idiolect

Added Community control plane for 0.13.0. The new idiolect-community crate and CLI lifecycle provide versioned idiolect.toml workspaces, role-aware maintainer/consent/vote/steward/hybrid governanc...

112

panproto @panproto.dev · 12/09/2026

We have new versions of panproto (0.74) and didactic (0.15). didactic adds a public general first-order generalized algebraic data type (GADT) and indexed-family language, and panproto checks the resulting theory.

github.com

GitHub - panproto/didactic: A typed data library for Python on top of panproto.

A typed data library for Python on top of panproto. - panproto/didactic

111

panproto @panproto.dev · 21/08/2026

protolab v0.8 is now out. Alongside panproto's v0.71 automated migration discovery improvements, it adds atproto sign-in and allows you to publish lenses to your PDS as dev.panproto.schema.lens records.

panproto.dev

protolab

A patchbay for your schemas. Bidirectional data transformations, drawn as circuits.

051

panproto @panproto.dev · 19/08/2026

The panproto book has been expanded across all four sections: tutorials, how-to guides, reference, and explanation. New material covers morphism search, alignment evidence, and schema spans. Existing pages have been revised against the current APIs and command-line behavior.

panproto.dev

panproto | schematic version control

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

020

panproto @panproto.dev · 11/08/2026

We have a new release (v0.70.0) that adds a Swift SDK. Every entry point of the C ABI is now reachable from Swift, so iOS or macOS apps can migrate records between schema versions, check compatibility, and keep a local schema history with no server in the path.

github.com

Release v0.70.0 · panproto/panproto

Added panproto is reachable from Swift (bindings/swift): a SwiftPM package linking libpanproto_c, binding all 120 C ABI entry points, which is the same surface the Haskell binding consumes, so th...

021

panproto @panproto.dev · 10/08/2026

We're applying for grant funding to support further panproto development (including hiring a developer and a postdoc) and are looking for users who would be willing to write a letter of support. If that sounds like you, please get in touch with @aaronstevenwhite.io!

1103

panproto @panproto.dev · 17/06/2026

We have a new release (v0.55.0) that expands panproto's C ABI to 123 entry points and brings the Haskell bindings to full parity with the Python and TypeScript bindings. Schemas, migrations, lenses, the expression language, version control, and source parsing are all now reachable from Haskell.

github.com

Release v0.55.0 · panproto/panproto

Added Haskell bindings at full parity with the Python SDK (bindings/haskell, crates/panproto-c): the Haskell panproto package now reaches the whole engine, matching the Python SDK across schema c...

160

panproto @panproto.dev · 18/05/2026

We have a new release (v0.48.0) that adds the put-direction of the parse-emit lens: decorate takes an abstract schema and attaches the desired layout so the emitter renders byte-for-byte. The release also adds a sealed AbstractSchema/DecoratedSchema typed surface.

github.com

Release v0.48.0 · panproto/panproto

Added decorate as the put-direction of the parse / decorate / emit lens (panproto-parse, panproto-schema, panproto-lens, panproto-gat): a generator that takes an abstract schema (vertex kinds, ch...

040

Reposted by panproto

idiolect @idiolect.dev · 11/05/2026

We finally have docs! idiolect.dev/book/

011

panproto @panproto.dev · 11/05/2026

We have a new release (v0.47.0) that adds runtime grammar override for tree-sitter dev loops, queryable anonymous-token field values on parsed schemas, YAML round-trip on Theory, and DSL loaders on ProtolensChain.

github.com

Release v0.47.0 · panproto/panproto

Added Runtime grammar override (panproto-parse::ParserRegistry, panproto-py::PyAstParserRegistry): ParserRegistry::override_grammar / register_external_grammar_owned / unregister accept owned byte...

020

panproto @panproto.dev · 05/05/2026

We have a new release (v0.45.0) that adds grammar companion packs to the Python wheel: ten new pip-installable wheels covering ~250 tree-sitter grammars. We've also added support for a variety of audio programming languages.

github.com

Release v0.45.0 · panproto/panproto

Added panproto.TheoryBuilder on the Python SDK — a fluent builder mirroring SchemaBuilder and MigrationBuilder. Accumulates sorts, operations, and equational axioms via chained calls and produces...

010

panproto @panproto.dev · 05/05/2026

We have a new release (v0.44.0) that adds dependent sorts to the panproto GAT macros (class!, inductive!, derive_theory!) and exposes JSON/YAML/Nickel theory DSL loaders on the Python bindings as Theory.{from_json, from_yaml, from_nickel, from_path}.

github.com

Release v0.44.0 · panproto/panproto

Added panproto-gat-macros::class!, inductive!, and derive_theory! accept dependent sorts in argument and output positions (closes #59). The macros previously parsed each argument and output as a s...

000

panproto @panproto.dev · 01/05/2026

We have a new project! Didactic is a typed data library for python built on top of panproto. It provides class-based authoring like pydantic. But under the hood each Model is a panproto Theory, which gives you access to panproto's migration and codegen capabilities. Docs at panproto.dev/didactic/.

github.com

GitHub - panproto/didactic: A typed data library for Python on top of panproto.

A typed data library for Python on top of panproto. - panproto/didactic

0113

panproto @panproto.dev · 01/05/2026

We have a new release (v0.42.0) that adds a Theory→Schema bridge in the python bindings and integrates the panproto-repl binary with syntax highlighting into the schema CLI as `schema theory repl`.

github.com

Release v0.42.0 · panproto/panproto

Added Protocol.from_theories(...) (Python): classmethod that constructs a Protocol from a user-built Theory (or a pair, schema + instance) plus the protocol-level fields. Closes the gap between ha...

010

panproto @panproto.dev · 30/04/2026

Okay. So what if pydantic but backed by panproto schemas?

000

panproto @panproto.dev · 29/04/2026

We have a new release (v0.41.0) that includes our first Haskell bindings via two new packages: (i) a panic-safe C ABI (panproto-c) generated by safer-ffi; and (ii) a cabal package that links against it. Bindings currently handle protocols and schemas. Migrations, instances, and lenses to follow.

github.com

Release v0.41.0 · panproto/panproto

Added panproto-c (new crate): panic-safe C ABI for non-Rust language bindings. Generated by safer-ffi; every #[ffi_export] entry point runs through std::panic::catch_unwind and converts panics, in...

011

panproto @panproto.dev · 29/04/2026

We have a new release (v0.40.0) that adds a generic AST walker and uses it to implement parse-emit pairs as asymmetric lenses. The walker is parameterized by a tree-sitter grammar.json, so it will work for any language that has one.

github.com

Release v0.40.0 · panproto/panproto

Added panproto-parse (AstParser::emit_pretty): new trait method that renders a by-construction Schema (no parse-recovered byte positions, no interstitials) to source bytes by walking the language'...

000

panproto @panproto.dev · 29/04/2026

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.dev

panproto | schematic version control

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

120