{"payload":{"pageCount":5,"repositories":[{"type":"Public","name":"hermes","owner":"informalsystems","isFork":false,"description":"IBC Relayer in Rust","allTopics":["blockchain","cosmos","tendermint","ibc","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":13,"issueCount":152,"starsCount":439,"forksCount":323,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T06:44:06.455Z"}},{"type":"Public","name":"tendermint-rs","owner":"informalsystems","isFork":false,"description":"Client libraries for Tendermint/CometBFT in Rust!","allTopics":["rust","tendermint","light-client","cometbft"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":7,"issueCount":150,"starsCount":603,"forksCount":224,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T06:39:47.744Z"}},{"type":"Public","name":"ibc-starknet","owner":"informalsystems","isFork":false,"description":"Meta repository for managing IBC Starknet projects","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":20,"starsCount":4,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T00:23:25.592Z"}},{"type":"Public","name":"eth-batch-deposit-ui","owner":"informalsystems","isFork":false,"description":"ETH batch deposit validators","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T21:05:20.628Z"}},{"type":"Public","name":"quint","owner":"informalsystems","isFork":false,"description":"An executable specification language with delightful tooling based on the temporal logic of actions (TLA)","allTopics":["specification","tlaplus","quint","apalache","language"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":9,"issueCount":196,"starsCount":785,"forksCount":31,"license":"Apache License 2.0","participation":[20,56,37,17,17,16,38,26,16,43,55,60,46,0,10,4,40,14,14,12,2,13,20,33,19,3,19,6,16,6,9,1,21,9,36,10,14,8,4,8,21,0,0,11,12,6,10,32,33,38,12,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T19:53:27.743Z"}},{"type":"Public","name":"hermes-sdk","owner":"informalsystems","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":36,"starsCount":9,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T19:05:39.463Z"}},{"type":"Public","name":"cosmos.nix","owner":"informalsystems","isFork":false,"description":"A reproducible package set for Cosmos, IBC and CosmWasm","allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":7,"issueCount":4,"starsCount":53,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T12:24:41.231Z"}},{"type":"Public","name":"ibc-go","owner":"informalsystems","isFork":true,"description":"Interblockchain Communication Protocol (IBC) implementation in Golang.","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":576,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T11:49:22.672Z"}},{"type":"Public","name":"cometbft","owner":"informalsystems","isFork":true,"description":"Fork of CometBFT for easier work inside the company","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":438,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T11:44:18.203Z"}},{"type":"Public","name":"hermes-api-doc","owner":"informalsystems","isFork":false,"description":"Generated Rustdoc for the hermes relayer","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T12:45:21.081Z"}},{"type":"Public","name":"tm-load-test","owner":"informalsystems","isFork":false,"description":"tm-load-test tool - Tendermint load test application","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":4,"issueCount":5,"starsCount":46,"forksCount":31,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T11:28:53.085Z"}},{"type":"Public","name":"kit","owner":"informalsystems","isFork":true,"description":"A standard library for microservices.","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2425,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T10:02:28.567Z"}},{"type":"Public","name":"schema","owner":"informalsystems","isFork":true,"description":"Embedded schema migration package for Go","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T07:44:24.838Z"}},{"type":"Public","name":"unclog","owner":"informalsystems","isFork":false,"description":"Unclog your changelog","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":7,"starsCount":36,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T06:43:25.802Z"}},{"type":"Public","name":"rust-libp2p","owner":"informalsystems","isFork":true,"description":"The Rust Implementation of the libp2p networking stack. ","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":929,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-07T09:16:27.509Z"}},{"type":"Public","name":"cosmos-sdk","owner":"informalsystems","isFork":true,"description":"⛓️ A Framework for Building High Value Public Blockchains ✨","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":3582,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-31T15:17:48.191Z"}},{"type":"Public","name":"starknet-p2p-specs","owner":"informalsystems","isFork":true,"description":"Specification of P2P protocol for StarkNet nodes","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":29,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-26T14:30:37.987Z"}},{"type":"Public","name":"basecoin-rs","owner":"informalsystems","isFork":false,"description":"An example ABCI application making use of tendermint-rs and ibc-rs","allTopics":["tendermint","abci","ibc"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":36,"starsCount":55,"forksCount":17,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-23T13:54:50.104Z"}},{"type":"Public","name":"afero","owner":"informalsystems","isFork":true,"description":"A FileSystem Abstraction System for Go","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":510,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-22T16:47:31.346Z"}},{"type":"Public","name":"goleveldb","owner":"informalsystems","isFork":true,"description":"LevelDB key/value database in Go.","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":968,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-22T16:01:18.237Z"}},{"type":"Public","name":"babylon-btcstaking-ui","owner":"informalsystems","isFork":true,"description":"Babylon staking application","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T23:03:14.913Z"}},{"type":"Public","name":"btcd","owner":"informalsystems","isFork":true,"description":"An alternative full node bitcoin implementation written in Go (golang)","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2344,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T06:39:15.562Z"}},{"type":"Public","name":"networks","owner":"informalsystems","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":225,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T15:10:10.915Z"}},{"type":"Public","name":"cosmos-rust","owner":"informalsystems","isFork":true,"description":"The home of all shared Rust resources for the Cosmos ecosystem.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":121,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-15T10:30:03.217Z"}},{"type":"Public","name":"cosmwasm-ibc","owner":"informalsystems","isFork":false,"description":"Facilities for implementing ibc-rs-powered light clients and applications as CosmWasm contracts.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-14T16:49:41.192Z"}},{"type":"Public","name":"tower-abci","owner":"informalsystems","isFork":true,"description":"Tower-based ABCI interface.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-09T18:00:00.417Z"}},{"type":"Public","name":"eth-staking-smith","owner":"informalsystems","isFork":true,"description":"Ethereum 2.0 deposit CLI / library","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-08-06T20:39:18.497Z"}},{"type":"Public","name":"tmkms","owner":"informalsystems","isFork":true,"description":"Tendermint KMS: Key Management System for Tendermint Validators","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":120,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T17:20:47.251Z"}},{"type":"Public","name":"drop-contracts","owner":"informalsystems","isFork":true,"description":"Drop is an integrated cross-chain liquid staking protocol","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-26T09:16:27.079Z"}},{"type":"Public","name":"quint-sandbox","owner":"informalsystems","isFork":false,"description":"Material used in interactive demos and tutorials","allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T07:21:59.016Z"}}],"repositoryCount":143,"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":"informalsystems repositories"}