pviotti/conver-old

This repository has been archived on 17/Feb/2019
Stars
18
Rank 1,208,065 (Top 24 %)
Language
Erlang
License
Apache License 2.0
Created almost 9 years ago
Updated over 8 years ago

pviotti/conver-old

pviotti

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

[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.

issuu-pdf-dl

Download documents from issuu.com as PDF

degiro-bookkeeper

Simple financial accounting for Degiro.

sayit

A text-to-speech command line tool backed by Azure Cognitive Services.

hybris

Robust and strongly consistent hybrid cloud storage library

conver

Consistency verification tool

osm-viz

OpenStreetMap GPS dataset visualizations

vps

A simple recipe for file synchronization and password management on a virtual private server (VPS)

moses

testing distributed stores against network partitions - after aphyr/jepsen

szb

A terminal-based file browser to reclaim disk space.

finnhub-dotnet

A .NET client for Finnhub API

ccnsfq

A SFQ CCNx-aware packet scheduler for the Linux kernel.

docker-zookeeper

ZooKeeper clusters with Docker.

docker-antidote-alpine

A Docker image for Antidote based on Alpine Linux.

qtomato

A simple timer for the pomodoro technique based on Qt.