Skip to content
@Quviq

QuviQ

Popular repositories Loading

  1. eqc_ex eqc_ex Public

    QuickCheck for Elixir

    Elixir 83 10

  2. webdrv webdrv Public

    WebDriver implementation in Erlang

    Erlang 42 23

  3. pulse_otp pulse_otp Public

    Providing PULSE instrumentable versions of Erlang OTP components

    Erlang 15 2

  4. QuickCheckExamples QuickCheckExamples Public

    Example QuickCheck models

    Erlang 12 2

  5. epoch-eqc epoch-eqc Public

    QuickCheck models for aeternity/epoch

    Erlang 6 8

  6. bitcask bitcask Public

    Forked from basho/bitcask

    because you need another a key/value storage engine

    Erlang 1

Repositories

Showing 10 of 63 repositories
  • eqc-rebar Public

    Rebar plugin for Quviq's QuickCheck

    Quviq/eqc-rebar’s past year of commit activity
    Erlang 1 Apache-2.0 0 0 1 Updated Jan 16, 2025
  • forked-CIPs Public Forked from cardano-foundation/CIPs

    Cardano Improvement Proposals (CIPs)

    Quviq/forked-CIPs’s past year of commit activity
    JavaScript 0 CC-BY-4.0 334 0 0 Updated Dec 20, 2024
  • CIPs Public

    Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.

    Quviq/CIPs’s past year of commit activity
    JavaScript 0 CC-BY-4.0 0 0 0 Updated Dec 10, 2024
  • cardano-ledger Public Forked from IntersectMBO/cardano-ledger

    The ledger implementation and specifications of the Cardano blockchain.

    Quviq/cardano-ledger’s past year of commit activity
    Haskell 0 Apache-2.0 159 0 0 Updated Nov 7, 2024
  • riak_kv Public Forked from basho/riak_kv

    Riak Key/Value Store

    Quviq/riak_kv’s past year of commit activity
    Erlang 0 246 0 0 Updated Jun 19, 2024
  • leveled Public Forked from martinsumner/leveled

    Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests

    Quviq/leveled’s past year of commit activity
    Erlang 0 Apache-2.0 34 4 0 Updated May 28, 2024
  • aeson Public Forked from haskell/aeson

    A fast Haskell JSON library

    Quviq/aeson’s past year of commit activity
    Haskell 0 330 0 0 Updated Apr 6, 2024
  • qc-requirements Public

    Prototype for Requirements testing

    Quviq/qc-requirements’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Mar 26, 2024
  • hydra Public Forked from cardano-scaling/hydra

    Implementation of the Hydra Head protocol

    Quviq/hydra’s past year of commit activity
    Haskell 0 Apache-2.0 92 0 0 Updated Feb 20, 2024
  • quickcheck-contractmodel Public Forked from input-output-hk/quickcheck-contractmodel

    Adversary testing of your plutus contract

    Quviq/quickcheck-contractmodel’s past year of commit activity
    Haskell 0 Apache-2.0 9 0 0 Updated Jan 8, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…