{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"hermes-sdk","owner":"informalsystems","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":7,"issueCount":69,"starsCount":6,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T12:33:18.426Z"}},{"type":"Public","name":"hermes","owner":"informalsystems","isFork":false,"description":"IBC Relayer in Rust","topicNames":["blockchain","cosmos","tendermint","ibc","rust"],"topicsNotShown":0,"allTopics":["blockchain","cosmos","tendermint","ibc","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":9,"issueCount":143,"starsCount":427,"forksCount":317,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T09:50:52.040Z"}},{"type":"Public","name":"itf-rs","owner":"informalsystems","isFork":false,"description":"Rust library for consuming Apalache ITF traces","topicNames":["rust","model-based-testing","apalache"],"topicsNotShown":0,"allTopics":["rust","model-based-testing","apalache"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T07:16:41.994Z"}},{"type":"Public","name":"basecoin-rs","owner":"informalsystems","isFork":false,"description":"An example ABCI application making use of tendermint-rs and ibc-rs","topicNames":["tendermint","abci","ibc"],"topicsNotShown":0,"allTopics":["tendermint","abci","ibc"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":34,"starsCount":52,"forksCount":16,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T20:31:43.132Z"}},{"type":"Public","name":"sovereign-ibc","owner":"informalsystems","isFork":false,"description":"Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":22,"starsCount":18,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T19:23:49.425Z"}},{"type":"Public","name":"sov-rollup-starter","owner":"informalsystems","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T14:17:57.033Z"}},{"type":"Public","name":"tendermint-rs","owner":"informalsystems","isFork":false,"description":"Client libraries for Tendermint/CometBFT in Rust!","topicNames":["rust","tendermint","light-client","cometbft"],"topicsNotShown":0,"allTopics":["rust","tendermint","light-client","cometbft"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":144,"starsCount":577,"forksCount":201,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T12:45:49.933Z"}},{"type":"Public","name":"attestation","owner":"informalsystems","isFork":true,"description":"SGX Enclave Attestation Report Verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T01:00:29.286Z"}},{"type":"Public","name":"sgx","owner":"informalsystems","isFork":true,"description":"SGX Libraries and Utilities","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T00:50:37.210Z"}},{"type":"Public","name":"zk-mtcs","owner":"informalsystems","isFork":false,"description":"MTCS experiments in zero-knowledge","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":4,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T00:02:53.446Z"}},{"type":"Public","name":"unclog","owner":"informalsystems","isFork":false,"description":"Unclog your changelog","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":7,"starsCount":28,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T06:20:35.767Z"}},{"type":"Public","name":"ed25519-consensus","owner":"informalsystems","isFork":true,"description":"Ed25519 suitable for use in consensus-critical contexts.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T02:58:32.284Z"}},{"type":"Public","name":"tmkms","owner":"informalsystems","isFork":true,"description":"Tendermint KMS: Key Management System for Tendermint Validators","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":117,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T02:43:51.251Z"}},{"type":"Public","name":"cosmos-rust","owner":"informalsystems","isFork":true,"description":"The home of all shared Rust resources for the Cosmos ecosystem.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":113,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-30T08:57:16.217Z"}},{"type":"Public","name":"cgp","owner":"informalsystems","isFork":false,"description":"Rust support libraries for context-generic programming","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T14:03:40.033Z"}},{"type":"Public","name":"sovereign-sdk","owner":"informalsystems","isFork":true,"description":"A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":94,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T16:40:44.217Z"}},{"type":"Public","name":"pbjson","owner":"informalsystems","isFork":true,"description":"Auto-generate serde implementations for prost types","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":34,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T15:24:27.688Z"}},{"type":"Public archive","name":"chainpulse","owner":"informalsystems","isFork":false,"description":"Monitoring tool for IBC relayers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":1,"starsCount":2,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-20T15:04:48.756Z"}},{"type":"Public","name":"cgp-workshop","owner":"informalsystems","isFork":false,"description":"Workshop materials for context-generic programming","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-26T19:13:00.376Z"}},{"type":"Public","name":"sovereign-test-rollup","owner":"informalsystems","isFork":false,"description":"Test rollup built with Sovereign SDK with IBC integration","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T12:58:16.777Z"}},{"type":"Public archive","name":"themis-tracer","owner":"informalsystems","isFork":false,"description":"A tool for managing complex contexts for developing critical systems","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":48,"starsCount":4,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-06T17:23:08.965Z"}},{"type":"Public","name":"petgraph","owner":"informalsystems","isFork":true,"description":"Graph data structure library for Rust.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":318,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T11:27:08.146Z"}},{"type":"Public","name":"cw-debug","owner":"informalsystems","isFork":false,"description":"Example CW contract to debug CosmWasm testnets","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-13T09:31:04.160Z"}},{"type":"Public","name":"namada","owner":"informalsystems","isFork":true,"description":"Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":957,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-04T19:34:30.335Z"}},{"type":"Public","name":"tower-abci","owner":"informalsystems","isFork":true,"description":"Tower-based ABCI interface.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T07:47:18.417Z"}},{"type":"Public","name":"abscissa","owner":"informalsystems","isFork":true,"description":"Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":14,"issueCount":1,"starsCount":1,"forksCount":37,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-17T13:01:40.883Z"}},{"type":"Public","name":"context-generic-programming","owner":"informalsystems","isFork":false,"description":"Context-generic programming guide","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-28T20:20:18.744Z"}},{"type":"Public","name":"flex-error","owner":"informalsystems","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":3,"starsCount":13,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-18T09:53:47.410Z"}},{"type":"Public","name":"safe-regex","owner":"informalsystems","isFork":false,"description":"Fork of <a href=\"https://gitlab.com/leonhard-llc/safe-regex-rs\" rel=\"nofollow\">https://gitlab.com/leonhard-llc/safe-regex-rs</a>","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-09T08:14:21.523Z"}},{"type":"Public","name":"oneline-eyre","owner":"informalsystems","isFork":false,"description":"A fork of `simple-eyre` which outputs errors on a single line","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-09T16:33:10.037Z"}}],"repositoryCount":41,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}