preserves

Mirror of https://gitlab.com/preserves/preserves

Tony Garnock-Jones f12343e723 Add missing *->preserve coercions during unparsing		6 days ago
_layouts	Proper layouting	2 years ago
_plugins	Proper layouting	2 years ago
doc	Some tool docs; improve help message of preserves-tool	2 weeks ago
git-hooks	Tweak to pre-commit hook	2 weeks ago
historical	Move codec.md into historical folder	3 years ago
implementations	Add missing *->preserve coercions during unparsing	6 days ago
schema	Redo schema embedded value patterns to use embedded syntax and an interface schema	2 weeks ago
tests	The Great Renaming: Pointer -> Embedded	1 month ago
.gitignore	First stab at specification of Schema	3 weeks ago
.gitlab-ci.yml	Update CI script	4 weeks ago
LICENSE	LICENSE, NOTICE, README.md	2 years ago
Makefile	The Racket preserves package needs a local copy of schema.prs for the package-builder to work. Use a git hook to keep it in sync with the master copy	3 weeks ago
NOTICE	Bump dates	3 weeks ago
README.md	Some tool docs; improve help message of preserves-tool	2 weeks ago
TODO.md	Note in TODO.md	8 months ago
TUTORIAL.md	MUCH simpler binary format, inspired by Syrup; alterations to text format	5 months ago
_config.yml	Exclude implementations/ from site	2 years ago
canonical-binary.md	The Great Renaming: Pointer -> Embedded	1 month ago
conventions.md	MUCH simpler binary format, inspired by Syrup; alterations to text format	5 months ago
index.md	Tweak jekyll setup	2 years ago
normalize.css	Proper layouting	2 years ago
notes.mb.md	Proper layouting	2 years ago
preserves-schema.md	Redo schema embedded value patterns to use embedded syntax and an interface schema	2 weeks ago
preserves.css	Repair CSS problem exposed by recent Firefox update	6 months ago
preserves.el	Revised preserves.el instructions	3 months ago
preserves.md	Repair minor typo in appendix	2 weeks ago
questions.md	Whitespace questions	3 months ago
quoting.rkt	Explore quoting.	3 years ago
quoting.v	Drastically improve quoting.v - including a much better main theorem	1 year ago
representations.md	Proper layouting	2 years ago
setup.sh	The Racket preserves package needs a local copy of schema.prs for the package-builder to work. Use a git hook to keep it in sync with the master copy	3 weeks ago
why-not-json.md	Proper layouting	2 years ago

README.md

projectpages	projecttree	title	no_site_title
https://gitlab.com/preserves/preserves	https://gitlab.com/preserves/preserves/tree/main	Preserves: an Expressive Data Language	true

This repository contains a proposal and various implementations of Preserves, a new data model and serialization format in many ways comparable to JSON, XML, S-expressions, CBOR, ASN.1 BER, and so on.

WARNING Everything in this repository is experimental and in flux! The design of Preserves is not finalised and may change drastically. Please offer any feedback you may have with this in mind.

Core documents

Preserves data model and serialization formats

Preserves is defined in terms of a syntax-neutral data model and semantics which all transfer syntaxes share. This allows trivial, completely automatic, perfect-fidelity conversion between syntaxes.

Preserves tutorial
Preserves specification, including semantics, data model, textual syntax, and compact binary syntax
Canonical Form for Binary Syntax
Syrup, a hybrid binary/human-readable syntax for the Preserves data model

Preserves schema

Preserves Schema specification

Implementations

Implementations of the data model, plus the textual and/or binary transfer syntaxes:

Preserves for Nim
Preserves for Python (pip install preserves)
Preserves for Racket (raco pkg install preserves)
Preserves for Rust (crates.io package)
Preserves for Squeak Smalltalk (Installer ss project: 'Preserves'; install: 'Preserves')
Preserves for TypeScript and JavaScript (yarn add @preserves/core)

Implementations of the data model, plus Syrup transfer syntax:

Tools

Preserves documents

preserves-tool, generic syntax translation and pretty-printing

Preserves Schema documents and codegen

preserves-schemac, generic Schema reader and linter
preserves-schema-rkt, Racket code generator
preserves-schema-ts, TypeScript code generator

Additional resources

Some conventions for common data types
Open questions; see also the issues list
Why not Just Use JSON?

Contact

Tony Garnock-Jones tonyg@leastfixedpoint.com