This is your work, valued

Vitor Enes

Expert
@vitorenesduarte

Distributed Systems. CRDTs. Formal Methods. Testing. Rust. Music.

vitorenes.org

fantoch. framework for evaluating (planet-scale) consensus protocols

132

ldb. Replication of CRDTs

38

tricks. Run experiments effortlessly on top of Kubernetes

23

exp. Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb

15

threshold-rs. Threshold data structures in Rust!

7

pluscal-rs. Let's write some PlusCal in Rust!

5

kuberl-example. Erlang

3

modeling-at-night. Models of some problems - Alloy, nuXmv and TLA

3

spdz. Implementation of the online phase of SPDZ - a MPC protocol - relying on a trusted dealer to generate the data needed from the preprocessing phase

2

Examples. A collection of TLA+ specifications of varying complexities

1

bufferJ. BufferJ is a Java Wrapper for the Buffer API

1

expi. TLA

1

exactly-once. Exactly-Once Quantity Transfer

1

delta-enabled-crdts. Reference implementations of state-based CRDTs that offer deltas for all mutations.

1