{"payload":{"pageCount":5,"repositories":[{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T11:56:06.347Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T10:56:44.225Z"}},{"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":8,"issueCount":45,"starsCount":259,"forksCount":82,"license":"Apache License 2.0","participation":[63,62,23,46,91,75,87,60,15,48,129,86,60,61,53,30,63,24,58,69,53,30,43,27,46,68,94,47,136,86,85,72,25,56,64,57,46,44,50,42,58,53,47,56,29,44,23,8,31,5,10,32],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T04:19:17.504Z"}},{"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":6,"issueCount":21,"starsCount":33,"forksCount":15,"license":"Apache License 2.0","participation":[10,0,13,2,4,0,0,1,0,0,9,0,0,0,0,0,1,7,14,7,0,3,0,0,7,14,2,19,0,2,0,0,0,1,2,2,0,13,0,10,1,0,0,0,0,0,0,0,0,0,0,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:09:28.480Z"}},{"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":null,"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T06:27:30.165Z"}},{"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":null,"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":1,"issueCount":0,"starsCount":2,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T08:15:24.280Z"}},{"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":null,"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":null,"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":null,"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":null,"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":[4,11,5,6,4,10,7,1,7,13,11,1,13,3,2,6,6,5,1,11,12,10,11,9,7,12,5,3,9,10,8,4,0,1,6,4,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0],"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,3,1,0,0,0,0,1,0,0,0,0,0,0,1,5,5,0,0,0,0,0,0,0,1,1,2,9,7,5,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":[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,0,4,5,5,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],"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":null,"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":[1,0,0,2,0,3,0,0,0,0,1,1,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,2,0,0,0,1,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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"}