Vitor Enes

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

ldb. Replication of CRDTs

tricks. Run experiments effortlessly on top of Kubernetes

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

threshold-rs. Threshold data structures in Rust!

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

kuberl-example. Erlang

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

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

Examples. A collection of TLA+ specifications of varying complexities

bufferJ. BufferJ is a Java Wrapper for the Buffer API

expi. TLA

exactly-once. Exactly-Once Quantity Transfer

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