{"payload":{"pageCount":6,"repositories":[{"type":"Public","name":"ouroboros-leios","owner":"input-output-hk","isFork":false,"description":"Documentation and tools relating to the design and prototyping of Ouroboros Leios","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-12T09:05:49.071Z"}},{"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.","allTopics":["haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":20,"starsCount":41,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T06:28:08.356Z"}},{"type":"Public","name":"marlowe-cardano","owner":"input-output-hk","isFork":false,"description":"Marlowe smart contract language Cardano implementation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":4,"starsCount":90,"forksCount":44,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T09:00:22.797Z"}},{"type":"Public","name":"cuddle","owner":"input-output-hk","isFork":false,"description":"CDDL DSL and Testing Tools","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":7,"starsCount":2,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T13:15:27.048Z"}},{"type":"Public","name":"io-sim","owner":"input-output-hk","isFork":false,"description":"Haskell's IO simulator which closely follows core packages (base, async, stm).","allTopics":["haskell","simulation-framework","partial-order-reduction"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":5,"issueCount":20,"starsCount":35,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T08:34:18.724Z"}},{"type":"Public","name":"typed-protocols","owner":"input-output-hk","isFork":false,"description":"Session types framework with support of protocol pipelining.","allTopics":["network","protocols","session-types","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":4,"starsCount":9,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T07:57:47.674Z"}},{"type":"Public","name":"agda","owner":"input-output-hk","isFork":true,"description":"Agda is a dependently typed programming language / interactive theorem prover.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":339,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-28T12:17:44.346Z"}},{"type":"Public","name":"hydra-tools","owner":"input-output-hk","isFork":true,"description":"custom GitHub Checks integration for Hydra","allTopics":["github","nix","ci","hydra"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T19:50:03.334Z"}},{"type":"Public","name":"iohk-monitoring-framework","owner":"input-output-hk","isFork":false,"description":"This framework provides logging, benchmarking and monitoring.","allTopics":["benchmark","haskell","performance","monitoring","logging"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":7,"starsCount":34,"forksCount":14,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T08:44:05.527Z"}},{"type":"Public","name":"xsy-liqwid-libs","owner":"input-output-hk","isFork":true,"description":"A monorepo for Liqwid Labs plutarch libraries.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":6,"starsCount":1,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T01:25:30.866Z"}},{"type":"Public","name":"fs-sim","owner":"input-output-hk","isFork":false,"description":"Haskell libraries for file system simulation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":10,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T16:24:32.633Z"}},{"type":"Public","name":"cardano-ledger-executable-spec","owner":"input-output-hk","isFork":false,"description":"Executable specification of `cardano-ledger` generated from Agda","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T20:48:32.347Z"}},{"type":"Public","name":"plu-stan","owner":"input-output-hk","isFork":true,"description":"Static Analyzer for PlutusTx based on the Haskell STAN static analyzer","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":48,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T10:22:14.004Z"}},{"type":"Public","name":"cardano-faucet","owner":"input-output-hk","isFork":false,"description":"Faucet for Cardano","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T01:54:16.474Z"}},{"type":"Public","name":"anti-diffs","owner":"input-output-hk","isFork":false,"description":"Haskell packages for sequences of Data.Map differences","allTopics":[],"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-05-30T10:20:04.342Z"}},{"type":"Public","name":"quickcheck-dynamic","owner":"input-output-hk","isFork":false,"description":"A library for stateful property-based testing","allTopics":["quickcheck","testing-tools","model-based-testing","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":6,"starsCount":26,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T08:47:31.865Z"}},{"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","allTopics":[],"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-05-16T16:43:58.352Z"}},{"type":"Public","name":"hedgehog-extras","owner":"input-output-hk","isFork":false,"description":"","allTopics":[],"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-16T12:02:59.314Z"}},{"type":"Public","name":"ogmios","owner":"input-output-hk","isFork":true,"description":"❇️ A WebSocket JSON/RPC bridge for Cardano","allTopics":[],"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.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":28,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T01:49:28.573Z"}},{"type":"Public","name":"minimal-ptt-examples","owner":"input-output-hk","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T09:04:47.130Z"}},{"type":"Public","name":"dapps-certification","owner":"input-output-hk","isFork":false,"description":"Certification as a service for the Cardano dApps platform","allTopics":[],"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","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":108,"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","allTopics":[],"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","allTopics":[],"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":"quickcheck-contractmodel","owner":"input-output-hk","isFork":false,"description":"Adversary testing of your plutus contract","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":2,"starsCount":7,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T07:09:11.207Z"}},{"type":"Public","name":"ekg-forward","owner":"input-output-hk","isFork":false,"description":"EKG forwarding library","allTopics":[],"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","allTopics":[],"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":"marconi","owner":"input-output-hk","isFork":false,"description":"","allTopics":[],"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":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":3,"starsCount":46,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T09:57:34.982Z"}}],"repositoryCount":169,"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":"input-output-hk repositories"}