{"id":13560968,"url":"https://github.com/strict-types/strict-types","last_synced_at":"2025-04-23T16:25:34.165Z","repository":{"id":37490417,"uuid":"501992710","full_name":"strict-types/strict-types","owner":"strict-types","description":"Rust implementation of strict encoding schema library","archived":false,"fork":false,"pushed_at":"2025-04-16T18:52:54.000Z","size":1579,"stargazers_count":8,"open_issues_count":11,"forks_count":5,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-04-17T01:58:37.899Z","etag":null,"topics":["aluvm","client-side-validation","encoding","rgb","rust","seerialization","serialization","smart-contracts","strict-encoding"],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/strict-types.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null},"funding":{"github":["UBIDECO","dr-orlovsky","strict-types","AluVM"]}},"created_at":"2022-06-10T10:03:38.000Z","updated_at":"2025-04-16T17:24:43.000Z","dependencies_parsed_at":"2023-02-19T06:55:15.885Z","dependency_job_id":"d616ebda-c773-49e9-8760-71a5f83dc3c5","html_url":"https://github.com/strict-types/strict-types","commit_stats":null,"previous_names":[],"tags_count":40,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fstrict-types","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fstrict-types/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fstrict-types/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fstrict-types/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/strict-types","download_url":"https://codeload.github.com/strict-types/strict-types/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250469157,"owners_count":21435603,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["aluvm","client-side-validation","encoding","rgb","rust","seerialization","serialization","smart-contracts","strict-encoding"],"created_at":"2024-08-01T13:00:51.238Z","updated_at":"2025-04-23T16:25:34.142Z","avatar_url":"https://github.com/strict-types.png","language":"Rust","funding_links":["https://github.com/sponsors/UBIDECO","https://github.com/sponsors/dr-orlovsky","https://github.com/sponsors/strict-types","https://github.com/sponsors/AluVM"],"categories":["Libraries and CLIs"],"sub_categories":["Main RGB Standards"],"readme":"# Strict types AST and typelib implementation\n\n![Build](https://github.com/strict-types/strict-types/workflows/Build/badge.svg)\n![Tests](https://github.com/strict-types/strict-types/workflows/Tests/badge.svg)\n![Lints](https://github.com/strict-types/strict-types/workflows/Lints/badge.svg)\n[![codecov](https://codecov.io/gh/strict-types/strict-types/branch/master/graph/badge.svg)](https://codecov.io/gh/strict-types/strict-types)\n\n[![crates.io](https://img.shields.io/crates/v/strict_types)](https://crates.io/crates/strict_types)\n[![Docs](https://docs.rs/strict_types/badge.svg)](https://docs.rs/strict_types)\n[![unsafe forbidden](https://img.shields.io/badge/unsafe-forbidden-success.svg)](https://github.com/rust-secure-code/safety-dance/)\n[![Apache-2 licensed](https://img.shields.io/crates/l/strict_types)](./LICENSE)\n\n#### Protobufs for functional programming\n\nThis is a set of libraries for working with abstract syntax trees and libraries\nof [strict types] \u0026ndash; type system made with category theory which ensures\nprovable properties and bounds for the in-memory and serialized type\nrepresentation.\n\nStrict types is a formal notation for defining and serializing\n[generalized algebraic data types (GADT)][gadt] in a deterministic\nand confined way. It is developed with [type theory] in mind.\n\nStrict Types are:\n\n* __schema-based__ (with the schema being strict encoding notation),\n* __semantic__, i.e. defines types not just as they are layed out in memory,\n  but also depending on their meaning,\n* __deterministic__, i.e. produces the same result for a given type,\n* __portabile__, i.e. can run on ahy hardware architecture and OS, including\n  low-performant embedded systems,\n* __confined__, i.e. provides guarantees and static analysis on a maximum size\n  of the typed data,\n* __formally verifiabile__.\n\nTo learn more about strict encoding [read the spec](https://strict-types.org).\n\nStrict types works with type definitions. It allows:\n\n- static analysis of data types, like\n    * defining semantic type ids;\n    * specifying exact memory layout;\n    * type equivalence in terms of semantics and memory layout;\n    * size of serialized data\n- composing types into type libraries;\n- versioning type libraries basing on the semantic types;\n\nThe library allows to generate \u0026 compile strict type libraries (STL) from rust\ntypes implementing `StrictEncoding` trait -- and ensures that the\ndeserialization with `StrictDecode` follows the same memory and semantic layout.\n\n## Strict Types Library\n\nThe library is able to reflect on itself, producing replica of its rust data\ntypes in strict types system.\n\nStrict types library id:\n`stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#lagoon-rodent-option`\n\nImport this lib by putting in the file header\n`import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as StrictTypes`\n\nSource code can be found in [`stl/StrictTypes.sty`] file.\n\n## Contributing\n\n[CONTRIBUTING.md](../CONTRIBUTING.md)\n\n## License\n\nThe libraries are distributed on the terms of [Apache 2.0 license](LICENSE).\n\n[strict types]: https://strict-types.org\n\n[gadt]: https://en.wikipedia.org/wiki/Algebraic_data_type\n\n[type theory]: https://en.wikipedia.org/wiki/Type_theory\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstrict-types%2Fstrict-types","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstrict-types%2Fstrict-types","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstrict-types%2Fstrict-types/lists"}