https://github.com/strict-types/.github
https://github.com/strict-types/.github
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/strict-types/.github
- Owner: strict-types
- Created: 2022-12-24T13:14:36.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2023-01-30T09:29:50.000Z (over 2 years ago)
- Last Synced: 2025-02-06T06:41:24.944Z (4 months ago)
- Size: 13.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
_**Protocol buffers for functional programming**_
(or, for rust devs, _**functional-style serde**_).
Strict encoding is a formal notation and implementation of a
serialization for generalized algebraic data types (GADT).
Strict encoding is both a language for defining GADT and libraries for their
serialization. It is:
* __schema-based__ (with the schema being strict encoding notation),
* __semantic__, i.e. defines types not just as they are layed out in memory,
but also depending on their meaning,
* __deterministic__, i.e. produces the same result for a given type,
* __portabile__, i.e. can run on ahy hardware architecture and OS, including
low-performant embedded systems,
* __confined__, i.e. provides guarantees and static analysis on a maximum size
of the typed data,
* __formally verifiabile__.
Strict encoding is WIP. Currently it is used by a number of projects
including [RGB smart contracts](https://github.com/RGB-WG),
[Farcaster](https://github.com/farcaster-project)
[CypherNet](https://github.com/CypherNet-WG) and others.
In this organization we plan to provide:
**[Whitepaper](https://github.com/strict-encoding/spec) |
Yellowpaper |
[Compiler](https://github.com/strict-encoding/stenc) |
Disassembler |
Standard type library (STL) |
Utilities**
**Language-specific libs:
[Rust](https://github.com/strict-encoding/strict_encoding/tree/master/rust) |
Swift |
Kotlin |
TypeScript**