panproto

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.

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.

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.

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.

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!

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.

We have a new release (v0.52.0) that substantially restructures and hardens the emission architecture that supports transpilation.

quivers is a functional probabilistic programming language that compiles to pytorch.

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.

We finally have docs! idiolect.dev/book/

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.

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.

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

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

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

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

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.

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.