{"payload":{"pageCount":5,"repositories":[{"type":"Public","name":"io-sim","owner":"input-output-hk","isFork":false,"description":"Haskell's IO simulator which closely follows core packages (base, async, stm).","topicNames":["haskell","simulation-framework","partial-order-reduction"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":5,"issueCount":21,"starsCount":32,"forksCount":14,"license":"Apache License 2.0","participation":[5,7,2,13,0,4,0,0,1,0,0,9,0,0,0,0,1,0,11,16,1,1,2,0,3,11,8,20,0,2,0,0,0,1,0,4,0,6,7,3,7,1,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T14:34:13.403Z"}},{"type":"Public","name":"hydra","owner":"input-output-hk","isFork":false,"description":"Implementation of the Hydra Head protocol","topicNames":["haskell","scalability","plutus","cardano","blockchain"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":9,"issueCount":48,"starsCount":259,"forksCount":82,"license":"Apache License 2.0","participation":[89,75,35,31,52,99,92,63,41,21,76,121,75,56,60,48,40,58,33,76,53,46,13,49,37,63,76,72,72,116,78,96,44,27,71,71,58,43,36,57,43,58,47,57,39,25,31,24,11,26,7,6],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T21:54:38.195Z"}},{"type":"Public","name":"cardano-ledger-executable-spec","owner":"input-output-hk","isFork":false,"description":"Executable specification of `cardano-ledger` generated from Agda","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,5,3,5,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T10:44:47.347Z"}},{"type":"Public","name":"cardano-faucet","owner":"input-output-hk","isFork":false,"description":"Faucet for Cardano","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T22:25:20.706Z"}},{"type":"Public","name":"foliage","owner":"input-output-hk","isFork":false,"description":"🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.","topicNames":["haskell"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":20,"starsCount":41,"forksCount":9,"license":"MIT License","participation":[11,3,9,10,2,4,1,2,0,0,2,1,0,0,0,0,7,0,7,0,0,0,2,0,0,1,1,6,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T06:27:30.165Z"}},{"type":"Public","name":"marlowe-cardano","owner":"input-output-hk","isFork":false,"description":"Marlowe smart contract language Cardano implementation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":3,"starsCount":88,"forksCount":44,"license":"Apache License 2.0","participation":[31,37,33,60,37,83,147,21,35,23,19,35,53,51,41,45,25,24,43,40,24,13,54,21,19,23,15,41,49,7,16,19,8,7,18,25,33,46,37,14,5,3,3,6,10,25,6,1,5,6,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T12:29:20.833Z"}},{"type":"Public","name":"fs-sim","owner":"input-output-hk","isFork":false,"description":"File system API and simulator","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":5,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":[0,2,18,5,2,2,0,0,0,0,0,6,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,2,0,8,0,0,0,0,0,0,0,0,0,4,0,4,0,1,2,0,0,0,0,8,0,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T15:32:00.473Z"}},{"type":"Public","name":"hedgehog-extras","owner":"input-output-hk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T13:11:08.177Z"}},{"type":"Public","name":"hydra-tools","owner":"input-output-hk","isFork":true,"description":"custom GitHub Checks integration for Hydra","topicNames":["github","nix","ci","hydra"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T15:44:22.334Z"}},{"type":"Public","name":"ogmios","owner":"input-output-hk","isFork":true,"description":"❇️ A WebSocket JSON/RPC bridge for Cardano","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":86,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T15:54:09.216Z"}},{"type":"Public","name":"kupo","owner":"input-output-hk","isFork":true,"description":"🐹 Fast, lightweight & configurable chain-index for Cardano.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":26,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T01:49:28.573Z"}},{"type":"Public","name":"cuddle","owner":"input-output-hk","isFork":false,"description":"CDDL DSL and Testing Tools","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":2,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,1,7,0,0,0,11,0,0,0,0,0,0,1,10,0,5,4,3,5,4,0,8,8,0,0,0,0,2,5,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T13:04:19.046Z"}},{"type":"Public","name":"minimal-ptt-examples","owner":"input-output-hk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T16:16:00.130Z"}},{"type":"Public","name":"agda","owner":"input-output-hk","isFork":true,"description":"Agda is a dependently typed programming language / interactive theorem prover.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":335,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T06:28:03.346Z"}},{"type":"Public","name":"quickcheck-dynamic","owner":"input-output-hk","isFork":false,"description":"A library for stateful property-based testing","topicNames":["quickcheck","testing-tools","model-based-testing","haskell"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":4,"starsCount":23,"forksCount":7,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,2,3,2,4,3,0,0,1,2,5,2,1,2,1,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,1,1,0,0,0,1,1,2,0,2,2,0,1,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T12:47:26.245Z"}},{"type":"Public","name":"dapps-certification","owner":"input-output-hk","isFork":false,"description":"Certification as a service for the Cardano dApps platform","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":9,"starsCount":9,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T07:51:42.717Z"}},{"type":"Public","name":"tasty","owner":"input-output-hk","isFork":true,"description":"Modern and extensible testing framework for Haskell","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":107,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-07T06:05:43.348Z"}},{"type":"Public","name":"haskell-lmdb","owner":"input-output-hk","isFork":true,"description":"Lightning MDB bindings for Haskell","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":18,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T11:04:08.128Z"}},{"type":"Public","name":"lmdb-simple","owner":"input-output-hk","isFork":true,"description":"Simple Haskell API for LMDB","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":1,"forksCount":11,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T11:56:23.224Z"}},{"type":"Public","name":"anti-diffs","owner":"input-output-hk","isFork":false,"description":"Haskell packages for sequences of Data.Map differences","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T16:26:26.635Z"}},{"type":"Public","name":"quickcheck-contractmodel","owner":"input-output-hk","isFork":false,"description":"Adversary testing of your plutus contract","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":7,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,1,2,3,1,0,0,0,6,4,0,1,5,0,0,0,0,1,0,0,2,0,0,0,0,1,3,0,0,0,1,0,0,0,0,1,0,1,0,1,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T13:12:01.729Z"}},{"type":"Public","name":"ekg-forward","owner":"input-output-hk","isFork":false,"description":"EKG forwarding library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":5,"issueCount":2,"starsCount":7,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T14:51:02.096Z"}},{"type":"Public","name":"marlowe-plutus","owner":"input-output-hk","isFork":false,"description":"Plutus validators for the Marlowe financial contract DSL","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,2,1,0,0,3,1,0,0,2,2,0,0,0,2,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T08:37:31.668Z"}},{"type":"Public","name":"typed-protocols","owner":"input-output-hk","isFork":false,"description":"Session types framework with support of protocol pipelining.","topicNames":["network","protocols","session-types","haskell"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":5,"starsCount":8,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-22T19:58:20.874Z"}},{"type":"Public","name":"marconi","owner":"input-output-hk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":9,"issueCount":1,"starsCount":14,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T08:15:45.758Z"}},{"type":"Public","name":"nothunks","owner":"input-output-hk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":3,"starsCount":46,"forksCount":13,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,3,1,0,0,0,0,1,0,0,0,0,0,0,5,6,0,0,0,0,0,0,0,1,0,1,2,15,6,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T09:57:34.982Z"}},{"type":"Public","name":"serdoc","owner":"input-output-hk","isFork":false,"description":"Semi-automatic documentation generation for serialization formats","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T08:22:52.351Z"}},{"type":"Public","name":"iohk-monitoring-framework","owner":"input-output-hk","isFork":false,"description":"This framework provides logging, benchmarking and monitoring.","topicNames":["benchmark","haskell","performance","monitoring","logging"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":7,"starsCount":33,"forksCount":14,"license":"Apache License 2.0","participation":[10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T14:23:44.973Z"}},{"type":"Public","name":"marlowe-scan","owner":"input-output-hk","isFork":false,"description":"A web tool to view on-chain Marlowe contracts in terms of the Marlowe language","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-01T15:33:54.958Z"}},{"type":"Public","name":"flake-release-tool","owner":"input-output-hk","isFork":false,"description":"Create software releases from a nix flake","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-07T21:55:57.949Z"}}],"repositoryCount":146,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}