You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Tony Garnock-Jones cff1a3d318 Exploration of TypeScript typed Records 7 months ago
_layouts Proper layouting 2 years ago
_plugins Proper layouting 2 years ago
historical Move codec.md into historical folder 3 years ago
implementations Exploration of TypeScript typed Records 7 months ago
tests Introduce pointers 8 months ago
.gitignore Update .gitignores 2 years ago
.gitlab-ci.yml Try the jekyll image 2 years ago
LICENSE LICENSE, NOTICE, README.md 2 years ago
Makefile Toplevel test-all target 1 year ago
NOTICE MUCH simpler binary format, inspired by Syrup; alterations to text format 8 months ago
README.md Minor repairs to text 1 year ago
TODO.md Note in TODO.md 11 months ago
TUTORIAL.md MUCH simpler binary format, inspired by Syrup; alterations to text format 8 months ago
_config.yml Exclude implementations/ from site 2 years ago
canonical-binary.md MUCH simpler binary format, inspired by Syrup; alterations to text format 8 months ago
conventions.md MUCH simpler binary format, inspired by Syrup; alterations to text format 8 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.css Repair CSS problem exposed by recent Firefox update 9 months ago
preserves.el Update Racket implementation 8 months ago
preserves.md Introduce pointers 8 months ago
questions.md MUCH simpler binary format, inspired by Syrup; alterations to text format 8 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
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/master 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

Additional resources

Contact

Tony Garnock-Jones tonyg@leastfixedpoint.com

Licensing

The contents of this repository are made available to you under the Apache License, version 2.0 (http://www.apache.org/licenses/LICENSE-2.0), and are Copyright 2018-2020 Tony Garnock-Jones.