Vitor Enes (@vitorenesduarte)
github

vitorenesduarte

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    224
  • Global Rank 112,748 (Top 4 %)
  • Followers 139
  • Following 52
  • Registered over 11 years ago
  • Most used languages
    Erlang
         33.3 %
    Rust
         25.0 %
    Java
         16.7 %
    C++
         8.3 %
    TLA     8.3 %
    Alloy     8.3 %

Top repositories

1

fantoch

framework for evaluating (planet-scale) consensus protocols
Rust
126
star
2

ldb

Replication of CRDTs
Erlang
38
star
3

tricks

Run experiments effortlessly on top of Kubernetes
Erlang
23
star
4

exp

Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
Erlang
15
star
5

threshold-rs

Threshold data structures in Rust!
Rust
6
star
6

pluscal-rs

Let's write some PlusCal in Rust!
Rust
4
star
7

kuberl-example

Erlang
3
star
8

modeling-at-night

Models of some problems - Alloy, nuXmv and TLA
Alloy
3
star
9

bufferJ

BufferJ is a Java Wrapper for the Buffer API
Java
1
star
10

exactly-once

Exactly-Once Quantity Transfer
C++
1
star
11

expi

TLA
1
star
12

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
Java
1
star