Paolo's repositories
conver-old
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
docker-antidote-alpine
A Docker image for Antidote based on Alpine Linux.
docker-zookeeper
ZooKeeper clusters with Docker.
antidote-java-client
A java client for antidote db.
antidote-tools
Various scripts and tools for Antidote
application-insights-react-demo
Monitoring a simple React App with the Application Insights Web SDK
azure-docs
Open source documentation of Microsoft Azure
call-center
A study object-oriented implementation of a call center. [interview homework]
ceph-mon
Fiddling with the Paxos implementation of Ceph Mon
CISE
CISE tool to prove distributed programs safe wrt application level invariants - fork to clean up the project and ease building
DISC-CLOUD-COURSE
Distributed Systems and Cloud Computing Course
display-visor
Bash script to apply pre-defined Xorg monitor layouts. Useful with i3wm.
fsharpforfunandprofit.com
Source for fsharpforfunandprofit.com. For typos, please send a PR or create an issue. Thanks!
jFUSE-ll
Java JNI bindings for libfuse low level API
libgit2sharp
Git + .NET/Mono = ❤
openhospital-api
OpenHospital API
openhospital-ui
OpenHospital software SPA (Single Page Application) for the User Internface (React)
react-appinsights
React library for Application Insights
riak_pb
Riak Protocol Buffers Messages
sniper
A powerful & high-performance http load tester
stacksync-desktop
StackSync desktop client with Hybris as storage backend.
syncany-plugin-hybris
Syncany Hybris plugin
trade-processor
A toy implementation of a web-based currency trading processor, with node.js. [interview homework]