Skip to content

@Quviq QuviQ

Change the repository type filter

All

    Repositories list

    61 repositories

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      •
      Apache License 2.0
      •157•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • riak_kv

      Public
      Riak Key/Value Store
      Erlang
      •232•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • leveled

      Public
      Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests
      Erlang
      •
      Apache License 2.0
      •33•0•4•0•Updated May 28, 2024May 28, 2024

    • aeson

      Public
      A fast Haskell JSON library
      Haskell
      •
      Other
      •322•0•0•0•Updated Apr 6, 2024Apr 6, 2024

    • qc-requirements

      Public
      Prototype for Requirements testing
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • hydra

      Public
      Implementation of the Hydra Head protocol
      Haskell
      •
      Apache License 2.0
      •86•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • quickcheck-contractmodel

      Public
      Adversary testing of your plutus contract
      Haskell
      •
      Apache License 2.0
      •9•0•0•0•Updated Jan 8, 2024Jan 8, 2024

    • plutus-apps

      Public
      The Plutus application platform
      Haskell
      •
      Apache License 2.0
      •214•0•0•0•Updated Sep 11, 2023Sep 11, 2023

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      Agda
      •
      Apache License 2.0
      •13•0•0•0•Updated Aug 29, 2023Aug 29, 2023

    • riak_core

      Public
      Distributed systems infrastructure used by Riak.
      Erlang
      •
      Apache License 2.0
      •391•0•0•0•Updated May 25, 2023May 25, 2023

    • quickcheck-contractmodel-cooked

      Public
      Cooked validator bindings for QuickCheck contract model
      Haskell
      •1•0•0•0•Updated May 25, 2023May 25, 2023

    • cooked-validators

      Public
      Haskell
      •
      MIT License
      •11•0•0•0•Updated May 8, 2023May 8, 2023

    • plutus

      Public
      The Plutus language implementation and tools
      Haskell
      •
      Apache License 2.0
      •479•0•0•0•Updated Apr 5, 2023Apr 5, 2023

    • riak

      Public
      Riak is a decentralized datastore from Basho Technologies.
      Shell
      •
      Apache License 2.0
      •537•0•0•0•Updated Mar 4, 2023Mar 4, 2023

    • utxo-programming-model

      Public
      Haskell
      •0•1•0•0•Updated Dec 15, 2022Dec 15, 2022

    • tremor-runtime

      Public
      Main Tremor Project Rust Codebase
      Rust
      •
      Apache License 2.0
      •126•0•0•0•Updated Nov 18, 2022Nov 18, 2022

    • quickcheck-dynamic

      Public
      A library for stateful property-based testing
      Haskell
      •
      Apache License 2.0
      •7•0•0•0•Updated Nov 8, 2022Nov 8, 2022

    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      •
      Apache License 2.0
      •720•0•0•0•Updated Oct 13, 2022Oct 13, 2022

    • io-sim

      Public
      Haskell
      •15•0•0•0•Updated Sep 29, 2022Sep 29, 2022

    • hydra-poc

      Public
      Proof of concept for the Hydra Head protocol 👷
      Haskell
      •
      Apache License 2.0
      •86•0•0•0•Updated Jun 3, 2022Jun 3, 2022

    • edocset

      Public
      Erlang doclet module for generating a Dash docset from Edoc.
      Erlang
      •
      Apache License 2.0
      •1•0•0•0•Updated May 20, 2022May 20, 2022

    • ouroboros-network

      Public
      An implementation of the Ouroboros family of consensus algorithms, with its networking support
      Haskell
      •
      Apache License 2.0
      •86•0•0•0•Updated Nov 8, 2021Nov 8, 2021

    • blockchain-core

      Public
      Erlang
      •
      Apache License 2.0
      •86•0•0•0•Updated Jun 23, 2021Jun 23, 2021

    • epoch-eqc

      Public
      QuickCheck models for aeternity/epoch
      Erlang
      •8•6•0•1•Updated Mar 31, 2021Mar 31, 2021

    • otp

      Public
      Erlang/OTP
      Erlang
      •
      Apache License 2.0
      •3k•0•0•0•Updated Jan 16, 2021Jan 16, 2021

    • eqc_ex

      Public
      QuickCheck for Elixir
      Elixir
      •
      BSD 3-Clause "New" or "Revised" License
      •10•83•0•0•Updated Nov 18, 2020Nov 18, 2020

    • eqc-rebar

      Public
      Rebar plugin for Quviq's QuickCheck
      Erlang
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 25, 2020Sep 25, 2020

    • kv_index_tictactree

      Public
      Provide Active-Anti-Entropy features to a virtual node in a KV store
      Erlang
      •
      Apache License 2.0
      •7•0•0•0•Updated Aug 10, 2020Aug 10, 2020

    • sidejob

      Public
      Parallel worker and capacity limiting library for Erlang
      Erlang
      •24•0•0•0•Updated May 27, 2020May 27, 2020

    • riak_repl

      Public
      Riak DC Replication
      Erlang
      •
      Apache License 2.0
      •32•0•0•0•Updated May 11, 2020May 11, 2020