Giters
Vitor Enes (vitorenesduarte)

vitorenesduarte

Geek Repo

141

followers

52

following

346

stars

Home Page:https://vitorenes.org

Twitter:@vitorenesduarte

Github PK Tool:Github PK Tool

Organizations
imdea-software
lasp-lang

Vitor Enes's repositories

modeling-at-night

Models of some problems - Alloy, nuXmv and TLA

Language:AlloyStargazers:3Issues:2Issues:0

delta-enabled-crdts

Reference implementations of state-based CRDTs that offer deltas for all mutations.

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

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

Language:JavaLicense:GPL-3.0Stargazers:1Issues:4Issues:13

deneva

Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

framac-cbmc

Language:CStargazers:0Issues:0Issues:0

iGen

Verification Conditions Generator

Language:PythonStargazers:0Issues:0Issues:0

ldb-java-client

Language:JavaStargazers:0Issues:0Issues:0

meta-alloy

Language:AlloyStargazers:0Issues:0Issues:0

the_coq_proof_assistant

Language:CoqStargazers:0Issues:0Issues:0