Skip to content

@Quviq QuviQ

Change the repository type filter

All

    Repositories list

    64 repositories

    • erlang_ls

      Public
      The Erlang Language Server
      Erlang
      •
      Apache License 2.0
      •144•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • eqc-rebar

      Public
      Rebar plugin for Quviq's QuickCheck
      Erlang
      •
      Apache License 2.0
      •0•2•0•0•Updated Oct 29, 2025Oct 29, 2025

    • s2n

      Public
      s2n : an implementation of the TLS/SSL protocols
      C
      •
      Apache License 2.0
      •767•0•0•0•Updated Sep 9, 2025Sep 9, 2025

    • forked-CIPs

      Public
      Cardano Improvement Proposals (CIPs)
      JavaScript
      •
      Creative Commons Attribution 4.0 International
      •382•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • CIPs

      Public
      Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
      JavaScript
      •
      Creative Commons Attribution 4.0 International
      •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

    • cardano-ledger

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

    • riak_kv

      Public
      Riak Key/Value Store
      Erlang
      •231•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
      •35•0•4•0•Updated May 28, 2024May 28, 2024

    • aeson

      Public
      A fast Haskell JSON library
      Haskell
      •
      Other
      •334•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
      •109•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
      •210•0•0•0•Updated Sep 11, 2023Sep 11, 2023

    • formal-ledger-specifications

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

    • riak_core

      Public
      Distributed systems infrastructure used by Riak.
      Erlang
      •
      Apache License 2.0
      •387•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
      •510•0•0•0•Updated Apr 5, 2023Apr 5, 2023

    • riak

      Public
      Riak is a decentralized datastore from Basho Technologies.
      Shell
      •
      Apache License 2.0
      •529•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
      •10•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
      •754•0•0•0•Updated Oct 13, 2022Oct 13, 2022

    • io-sim

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

    • hydra-poc

      Public
      Proof of concept for the Hydra Head protocol :construction_worker:
      Haskell
      •
      Apache License 2.0
      •109•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
      •104•0•0•0•Updated Nov 8, 2021Nov 8, 2021

    • blockchain-core

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

    • epoch-eqc

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

    • otp

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