Pinned Repositories
bufferJ
BufferJ is a Java Wrapper for the Buffer API
delta-enabled-crdts
Reference implementations of state-based CRDTs that offer deltas for all mutations.
exp
Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
fantoch
framework for evaluating (planet-scale) consensus protocols
kuberl-example
ldb
Replication of CRDTs
modeling-at-night
Models of some problems - Alloy, nuXmv and TLA
pluscal-rs
Let's write some PlusCal in Rust!
threshold-rs
Threshold data structures in Rust!
tricks
Run experiments effortlessly on top of Kubernetes
vitorenesduarte's Repositories
vitorenesduarte/fantoch
framework for evaluating (planet-scale) consensus protocols
vitorenesduarte/ldb
Replication of CRDTs
vitorenesduarte/tricks
Run experiments effortlessly on top of Kubernetes
vitorenesduarte/exp
Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
vitorenesduarte/threshold-rs
Threshold data structures in Rust!
vitorenesduarte/pluscal-rs
Let's write some PlusCal in Rust!
vitorenesduarte/kuberl-example
vitorenesduarte/bufferJ
BufferJ is a Java Wrapper for the Buffer API
vitorenesduarte/exactly-once
Exactly-Once Quantity Transfer
vitorenesduarte/Examples
A collection of TLA+ specifications of varying complexities
vitorenesduarte/expi
vitorenesduarte/amazon-timestream-tools
vitorenesduarte/async-benchmarks
vitorenesduarte/bionella
Legionella genome annotation
vitorenesduarte/bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
vitorenesduarte/caesar
CAESAR Protocol Implementation
vitorenesduarte/docker-workshop
vitorenesduarte/eflame
Flame Graph profiler for Erlang
vitorenesduarte/goose
Load testing framework, inspired by Locust
vitorenesduarte/IAMSpy
vitorenesduarte/janus
vitorenesduarte/lsim-dash
Dashboard for lsim https://github.com/vitorenesduarte/lsim
vitorenesduarte/MGB-SMap
vitorenesduarte/rbac-linter
vitorenesduarte/rococo
vitorenesduarte/tapir
TAPIR distributed transactional storage system
vitorenesduarte/tsunami
Rust crate for running one-off cloud jobs
vitorenesduarte/types
Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
vitorenesduarte/VCD-java-client
vitorenesduarte/YCSB
Yahoo! Cloud Serving Benchmark