This repository hosts a registry of strict type libraries.
The registry is maintained by UBIDECO Institute, Switzerland - a non-profit research institution for ubiquitous deterministic computing.
To add your library to the repository please open PR.
| Library | Last version | Mnemonic | Organization | Description |
|---|---|---|---|---|
| Std | 0.1.0 | justice-rocket-type | UBIDECO | Strict types standard library |
| Bitcoin | 0.1.0 | money-pardon-parody | LNP/BP | Consensus layer for bitcoin protocol |
| RGBContract | 0.1.0 | choice-little-boxer | LNP/BP | Types for writing RGB contracts and interfaces |
| RGB20 | 0.1.0 | prince-scarlet-ringo | LNP/BP | Types for RGB20 interface |
| RGB21 | 0.1.0 | opera-cool-bread | LNP/BP | Types for RGB21 interface |
| RGB25 | 0.1.0 | camera-betty-bank | LNP/BP | Types for RGB25 interface |
| Library | Last version | Mnemonic | Organization | Description |
|---|---|---|---|---|
| AluVM | 0.1.0 | exodus-axiom-tommy | UBIDECO | AluVM data type library |
| StrictTypes | 0.1.0 | south-strong-welcome | UBIDECO | Confined generalized algebraic data types (GADT) |
| CommitVerify | 0.1.0 | rhino-cover-frog | LNP/BP | Library for cryptographic commitments |
| BPCore | 0.1.0 | sultan-data-copy | LNP/BP | Bitcoin client-side-validation library |
| RGB | 0.1.0 | saturn-flash-emerald | LNP/BP | Consensus layer for RGB smart contracts |
| RGBStd | 0.1.0 | twist-paul-carlo | LNP/BP | Standard RGB library |