github.com — Semble

panproto.dev

panproto | schematic version control

One engine for schematic version control within and across any schema language.

https://panproto.dev/ social preview image

github.com

panproto/panproto

One engine for schematic version control within and across any schema language.

panproto.dev

panproto - panproto

Documentation: tutorials, how-to guides, reference, and explanation

docs.rs

panproto_theory_dsl - Rust

Declarative theory DSL for panproto.

www.inkandswitch.com

Project Cambria: Translate your data with lenses

Changing schemas in distributed software is hard. Could adopting bidirectional lenses help?

https://www.inkandswitch.com/cambria/ social preview image

github.com

panproto/didactic

A typed data library for Python on top of panproto.

doi.org

Quotient lenses | Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...

https://doi.org/10.1145/1411204.1411257 social preview image

standardschema.dev

Standard Schema

A family of specs for interoperable TypeScript

relationaltext.org

RelationalText

A panproto document model for structured annotations across formats

doi.org

Symmetric lenses | Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A lens is a bidirectional transformation between a pair of connected data structures, capable of translating an edit on one structure into an appropriate edit on the other. Many varieties of lenses have been studied, but none, to date, has offered a ...