{"id":22829172,"url":"https://github.com/strict-types/registry","last_synced_at":"2026-03-19T23:46:59.101Z","repository":{"id":165230149,"uuid":"640573981","full_name":"strict-types/registry","owner":"strict-types","description":"Registry of strict type libraries","archived":false,"fork":false,"pushed_at":"2023-07-24T11:37:37.000Z","size":235,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-06-09T21:05:05.125Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/strict-types.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-05-14T14:43:07.000Z","updated_at":"2023-05-22T20:49:45.000Z","dependencies_parsed_at":null,"dependency_job_id":"d5b1e696-b93d-4a2b-bb96-0a8d82199fe2","html_url":"https://github.com/strict-types/registry","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/strict-types/registry","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fregistry","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fregistry/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fregistry/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fregistry/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/strict-types","download_url":"https://codeload.github.com/strict-types/registry/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/strict-types%2Fregistry/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28929862,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-31T04:05:25.756Z","status":"ssl_error","status_checked_at":"2026-01-31T04:02:35.005Z","response_time":128,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":[],"created_at":"2024-12-12T19:13:39.543Z","updated_at":"2026-01-31T05:02:12.204Z","avatar_url":"https://github.com/strict-types.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Strict type library registry\n\nThis repository hosts a registry of strict type libraries.\n\nThe registry is maintained by UBIDECO Institute, Switzerland - a non-profit\nresearch institution for ubiquitous deterministic computing.\n\nTo add your library to the repository please open PR.\n\n## Application libraries\n\n| Library       | Last version | Mnemonic             | Organization | Description                                    |\n|---------------|--------------|----------------------|--------------|------------------------------------------------|\n| [Std]         | 0.1.0        | justice-rocket-type  | UBIDECO      | Strict types standard library                  |\n| [Bitcoin]     | 0.1.0        | money-pardon-parody  | LNP/BP       | Consensus layer for bitcoin protocol           |\n| [RGBContract] | 0.1.0        | choice-little-boxer  | LNP/BP       | Types for writing RGB contracts and interfaces |\n| [RGB20]       | 0.1.0        | prince-scarlet-ringo | LNP/BP       | Types for RGB20 interface                      |\n| [RGB21]       | 0.1.0        | opera-cool-bread     | LNP/BP       | Types for RGB21 interface                      |\n| [RGB25]       | 0.1.0        | camera-betty-bank    | LNP/BP       | Types for RGB25 interface                      |\n\n\n## System libraries\n\n| Library        | Last version | Mnemonic              | Organization | Description                                      |\n|----------------|--------------|-----------------------|--------------|--------------------------------------------------|\n| [AluVM]        | 0.1.0        | exodus-axiom-tommy    | UBIDECO      | AluVM data type library                          |\n| [StrictTypes]  | 0.1.0        | south-strong-welcome  | UBIDECO      | Confined generalized algebraic data types (GADT) |\n| [CommitVerify] | 0.1.0        | rhino-cover-frog      | LNP/BP       | Library for cryptographic commitments            |\n| [BPCore]       | 0.1.0        | sultan-data-copy      | LNP/BP       | Bitcoin client-side-validation library           |\n| [RGB]          | 0.1.0        | saturn-flash-emerald  | LNP/BP       | Consensus layer for RGB smart contracts          |\n| [RGBStd]       | 0.1.0        | twist-paul-carlo      | LNP/BP       | Standard RGB library                             |\n\n\n[Std]: UBIDECO.org/Std\n[StrictTypes]: UBIDECO.org/StrictTypes\n[CommitVerify]: UBIDECO.org/CommitVerify\n[AluVM]: UBIDECO.org/AluVM\n[Bitcoin]: LNP-BP.org/Bitcoin\n[BPCore]: LNP-BP.org/BPCore\n[RGB]: LNP-BP.org/RGB\n[RGBStd]: LNP-BP.org/RGBStd\n[RGBContract]: LNP-BP.org/RGBContract\n[RGB20]: LNP-BP.org/RGB20\n[RGB21]: LNP-BP.org/RGB21\n[RGB25]: LNP-BP.org/RGB25\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstrict-types%2Fregistry","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstrict-types%2Fregistry","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstrict-types%2Fregistry/lists"}