{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"leveled","owner":"Quviq","isFork":true,"description":"Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":32,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T11:24:38.819Z"}},{"type":"Public","name":"aeson","owner":"Quviq","isFork":true,"description":"A fast Haskell JSON library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":311,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-06T05:10:10.738Z"}},{"type":"Public","name":"qc-requirements","owner":"Quviq","isFork":false,"description":"Prototype for Requirements testing","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-26T14:47:43.889Z"}},{"type":"Public","name":"riak_kv","owner":"Quviq","isFork":true,"description":"Riak Key/Value Store","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":228,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T14:53:47.526Z"}},{"type":"Public","name":"hydra","owner":"Quviq","isFork":true,"description":"Implementation of the Hydra Head protocol","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":82,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T10:13:12.007Z"}},{"type":"Public","name":"quickcheck-contractmodel","owner":"Quviq","isFork":true,"description":"Adversary testing of your plutus contract","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-08T16:57:22.491Z"}},{"type":"Public","name":"cardano-ledger","owner":"Quviq","isFork":true,"description":"The ledger implementation and specifications of the Cardano blockchain.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":153,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-08T16:51:12.913Z"}},{"type":"Public","name":"plutus-apps","owner":"Quviq","isFork":true,"description":"The Plutus application platform","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":213,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T13:39:56.775Z"}},{"type":"Public","name":"formal-ledger-specifications","owner":"Quviq","isFork":true,"description":"Formal specifications of the cardano ledger","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-29T12:52:49.417Z"}},{"type":"Public","name":"riak_core","owner":"Quviq","isFork":true,"description":"Distributed systems infrastructure used by Riak.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":391,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-25T09:25:44.646Z"}},{"type":"Public","name":"quickcheck-contractmodel-cooked","owner":"Quviq","isFork":false,"description":"Cooked validator bindings for QuickCheck contract model","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-25T07:15:08.618Z"}},{"type":"Public","name":"cooked-validators","owner":"Quviq","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-08T12:14:17.341Z"}},{"type":"Public","name":"plutus","owner":"Quviq","isFork":true,"description":"The Plutus language implementation and tools","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":460,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-05T13:51:30.699Z"}},{"type":"Public","name":"riak","owner":"Quviq","isFork":true,"description":"Riak is a decentralized datastore from Basho Technologies.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":534,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-04T14:49:55.242Z"}},{"type":"Public","name":"utxo-programming-model","owner":"Quviq","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-15T14:31:30.504Z"}},{"type":"Public","name":"tremor-runtime","owner":"Quviq","isFork":true,"description":"Main Tremor Project Rust Codebase","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":128,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-18T06:28:48.103Z"}},{"type":"Public","name":"quickcheck-dynamic","owner":"Quviq","isFork":true,"description":"A library for stateful property-based testing","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-08T13:26:51.539Z"}},{"type":"Public","name":"cardano-node","owner":"Quviq","isFork":true,"description":"The core component that is used to participate in a Cardano decentralised blockchain.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":717,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-13T13:27:18.451Z"}},{"type":"Public","name":"io-sim","owner":"Quviq","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-29T07:28:25.097Z"}},{"type":"Public","name":"hydra-poc","owner":"Quviq","isFork":true,"description":"Proof of concept for the Hydra Head protocol 👷","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":82,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-03T10:50:55.694Z"}},{"type":"Public","name":"edocset","owner":"Quviq","isFork":true,"description":"Erlang doclet module for generating a Dash docset from Edoc.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-20T13:56:30.050Z"}},{"type":"Public","name":"ouroboros-network","owner":"Quviq","isFork":true,"description":"An implementation of the Ouroboros family of consensus algorithms, with its networking support","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":86,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-08T11:29:10.913Z"}},{"type":"Public","name":"blockchain-core","owner":"Quviq","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":85,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-23T18:55:44.892Z"}},{"type":"Public","name":"epoch-eqc","owner":"Quviq","isFork":false,"description":"QuickCheck models for aeternity/epoch","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-31T13:39:11.919Z"}},{"type":"Public","name":"otp","owner":"Quviq","isFork":true,"description":"Erlang/OTP","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2908,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-16T03:22:13.676Z"}},{"type":"Public","name":"eqc_ex","owner":"Quviq","isFork":false,"description":"QuickCheck for Elixir","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":0,"issueCount":0,"starsCount":82,"forksCount":10,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-18T12:07:39.390Z"}},{"type":"Public","name":"eqc-rebar","owner":"Quviq","isFork":false,"description":"Rebar plugin for Quviq's QuickCheck","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-25T08:59:46.966Z"}},{"type":"Public","name":"kv_index_tictactree","owner":"Quviq","isFork":true,"description":"Provide Active-Anti-Entropy features to a virtual node in a KV store","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-10T12:47:45.163Z"}},{"type":"Public","name":"sidejob","owner":"Quviq","isFork":true,"description":"Parallel worker and capacity limiting library for Erlang","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-27T09:12:30.977Z"}},{"type":"Public","name":"riak_repl","owner":"Quviq","isFork":true,"description":"Riak DC Replication","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":30,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-11T13:55:55.555Z"}}],"repositoryCount":61,"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"}