https://github.com/strict-types/registry
Registry of strict type libraries
https://github.com/strict-types/registry
Last synced: 3 months ago
JSON representation
Registry of strict type libraries
- Host: GitHub
- URL: https://github.com/strict-types/registry
- Owner: strict-types
- Created: 2023-05-14T14:43:07.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2023-07-24T11:37:37.000Z (almost 3 years ago)
- Last Synced: 2025-06-09T21:05:05.125Z (about 1 year ago)
- Language: TeX
- Size: 229 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Strict type library registry
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.
## Application libraries
| 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 |
## System libraries
| 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 |
[Std]: UBIDECO.org/Std
[StrictTypes]: UBIDECO.org/StrictTypes
[CommitVerify]: UBIDECO.org/CommitVerify
[AluVM]: UBIDECO.org/AluVM
[Bitcoin]: LNP-BP.org/Bitcoin
[BPCore]: LNP-BP.org/BPCore
[RGB]: LNP-BP.org/RGB
[RGBStd]: LNP-BP.org/RGBStd
[RGBContract]: LNP-BP.org/RGBContract
[RGB20]: LNP-BP.org/RGB20
[RGB21]: LNP-BP.org/RGB21
[RGB25]: LNP-BP.org/RGB25