vitorenesduarte/modeling-at-night vitorenesduarte/modeling-at-night

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Alloy
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vitorenesduarte/modeling-at-night
github

vitorenesduarte

Reviews

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

Repository Details

Models of some problems - Alloy, nuXmv and TLA

More 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

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