Vitor Enes (vitorenesduarte)

vitorenesduarte

Geek Repo

Home Page:https://vitorenes.org

Twitter:@vitorenesduarte

Github PK Tool:Github PK Tool


Organizations
imdea-software
lasp-lang

Vitor Enes's repositories

fantoch

framework for evaluating (planet-scale) consensus protocols

Language:RustLicense:Apache-2.0Stargazers:124Issues:6Issues:15

ldb

Replication of CRDTs

Language:ErlangLicense:Apache-2.0Stargazers:38Issues:8Issues:10

tricks

Run experiments effortlessly on top of Kubernetes

Language:ErlangLicense:Apache-2.0Stargazers:23Issues:4Issues:1

exp

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

Language:ErlangLicense:Apache-2.0Stargazers:15Issues:5Issues:8

threshold-rs

Threshold data structures in Rust!

Language:RustLicense:Apache-2.0Stargazers:6Issues:2Issues:0

pluscal-rs

Let's write some PlusCal in Rust!

Language:RustLicense:Apache-2.0Stargazers:4Issues:2Issues:0
Language:ErlangLicense:Apache-2.0Stargazers:3Issues:2Issues:0

bufferJ

BufferJ is a Java Wrapper for the Buffer API

Language:JavaStargazers:1Issues:2Issues:0

exactly-once

Exactly-Once Quantity Transfer

Language:C++License:Apache-2.0Stargazers:1Issues:3Issues:0

Examples

A collection of TLA+ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1Issues:1Issues:0
Language:TLAStargazers:1Issues:2Issues:0
Language:JavaLicense:MIT-0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0

bionella

Legionella genome annotation

Language:HTMLStargazers:0Issues:2Issues:0

bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

Language:TLALicense:MITStargazers:0Issues:1Issues:0

caesar

CAESAR Protocol Implementation

Language:JavaStargazers:0Issues:1Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

eflame

Flame Graph profiler for Erlang

Language:PerlLicense:ISCStargazers:0Issues:2Issues:0

goose

Load testing framework, inspired by Locust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

lsim-dash

Dashboard for lsim https://github.com/vitorenesduarte/lsim

Language:JavaScriptStargazers:0Issues:2Issues:1
Language:ScalaStargazers:0Issues:1Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:2Issues:0

tapir

TAPIR distributed transactional storage system

Language:JavaStargazers:0Issues:2Issues:0

tsunami

Rust crate for running one-off cloud jobs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

types

Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:3Issues:0
Language:JavaStargazers:0Issues:4Issues:1

YCSB

Yahoo! Cloud Serving Benchmark

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0