Pinned Repositories
bitcask
because you need another a key/value storage engine
dht
DHT implementation in Erlang
epoch-eqc
QuickCheck models for aeternity/epoch
eqc-rebar
Rebar plugin for Quviq's QuickCheck
eqc_cluster_test
EQC cluster test
eqc_ex
QuickCheck for Elixir
pulse_otp
Providing PULSE instrumentable versions of Erlang OTP components
QuickCheckExamples
Example QuickCheck models
utxo-programming-model
webdrv
WebDriver implementation in Erlang
QuviQ's Repositories
Quviq/eqc_ex
QuickCheck for Elixir
Quviq/epoch-eqc
QuickCheck models for aeternity/epoch
Quviq/quickcheck-contractmodel
Adversary testing of your plutus contract
Quviq/eqc-rebar
Rebar plugin for Quviq's QuickCheck
Quviq/utxo-programming-model
Quviq/aeson
A fast Haskell JSON library
Quviq/blockchain-core
Quviq/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Quviq/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Quviq/cooked-validators
Quviq/edocset
Erlang doclet module for generating a Dash docset from Edoc.
Quviq/formal-ledger-specifications
Formal specifications of the cardano ledger
Quviq/hydra
Implementation of the Hydra Head protocol
Quviq/hydra-poc
Proof of concept for the Hydra Head protocol :construction_worker:
Quviq/io-sim
Quviq/kv_index_tictactree
Provide Active-Anti-Entropy features to a virtual node in a KV store
Quviq/leveled
Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests
Quviq/otp
Erlang/OTP
Quviq/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Quviq/plutus
The Plutus language implementation and tools
Quviq/plutus-apps
The Plutus application platform
Quviq/qc-requirements
Prototype for Requirements testing
Quviq/quickcheck-contractmodel-cooked
Cooked validator bindings for QuickCheck contract model
Quviq/quickcheck-dynamic
A library for stateful property-based testing
Quviq/riak
Riak is a decentralized datastore from Basho Technologies.
Quviq/riak_core
Distributed systems infrastructure used by Riak.
Quviq/riak_kv
Riak Key/Value Store
Quviq/riak_repl
Riak DC Replication
Quviq/sidejob
Parallel worker and capacity limiting library for Erlang
Quviq/tremor-runtime
Main Tremor Project Rust Codebase