Strict Types

All

7 repositories

strict-types
Public
Rust implementation of strict encoding schema library
smart-contracts rgb client-side-validation strict-encoding aluvm seerialization rust encoding serialization
Rust
•
Apache License 2.0
•4•6•7•2•Updated Nov 29, 2024Nov 29, 2024
strict-encoding
Public
Protobufs for functional programming
functional-programming type-theory gadt category-theory type-safety serialization-library serialization-format rust
Rust
•
Apache License 2.0
•8•9•5•0•Updated Nov 20, 2024Nov 20, 2024
registry
Public
Registry of strict type libraries
TeX
•0•1•0•0•Updated Jul 24, 2023Jul 24, 2023
spec
Public
Strict encoding specification
serialization strict-encoding aluvm distributed-systems protocol peer-to-peer p2p
1•1•0•0•Updated May 27, 2023May 27, 2023
.github
Public
0•0•0•0•Updated Jan 30, 2023Jan 30, 2023
encoding_derive_helpers
Public
Helper functions for creating encoding derivation macros in Rust
Rust
•
Apache License 2.0
•0•0•0•0•Updated Dec 9, 2022Dec 9, 2022
stenc
Public
Strict encoding compiler. Strict encoding is a format used by client-side-validation, RGB smart contracts, AluVM, Internet2 APIs and in languages ParselTongue and Contractum.
encoding compiler parsel client-side-validation strict-encoding aluvm contractum
Rust
•
MIT License
•3•3•0•0•Updated Aug 3, 2021Aug 3, 2021