vitorenesduarte/tricks vitorenesduarte/tricks

  • Stars
    star
    23
  • Rank 1,016,462 (Top 21 %)
  • Language
    Erlang
  • License
    Apache License 2.0
  • Created almost 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vitorenesduarte/tricks
github

vitorenesduarte

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Run experiments effortlessly on top of Kubernetes

More Repositories

1

fantoch

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

ldb

Replication of CRDTs
Erlang
38
star
3

exp

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

threshold-rs

Threshold data structures in Rust!
Rust
6
star
5

pluscal-rs

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

kuberl-example

Erlang
3
star
7

modeling-at-night

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

bufferJ

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

exactly-once

Exactly-Once Quantity Transfer
C++
1
star
10

expi

TLA
1
star
11

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