Paolo's Projects
A toy key-value store to experiment with atomic broadcast protocols.
A java client for antidote db.
Various scripts and tools for Antidote
Monitoring a simple React App with the Application Insights Web SDK
Open source documentation of Microsoft Azure
A study object-oriented implementation of a call center. [interview homework]
A SFQ CCNx-aware packet scheduler for the Linux kernel.
Fiddling with the Paxos implementation of Ceph Mon
A set of tools to download, transcribe and index podcast episodes.
Port of Gnome 3 CPUFreq applet to Cinnamon - with some fixes.
CISE tool to prove distributed programs safe wrt application level invariants - fork to clean up the project and ease building
Support files for Pluralsight CKAD course - fork with personal notes
Consistency verification tool
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
Simple financial accounting for Degiro.
Distributed Systems and Cloud Computing Course
Bash script to apply pre-defined Xorg monitor layouts. Useful with i3wm.
Antidote DB image for Docker Hub https://hub.docker.com/r/itoumlilt/antidotedb
A Docker image for Antidote based on Alpine Linux.
ZooKeeper clusters with Docker.
Free cross-platform educational MIPS64 CPU Simulator
Repeatable Azure deployments with ARM templates - made easy!
A .NET client for Finnhub API
FizzBuzz in all the languages
Source for fsharpforfunandprofit.com. For typos, please send a PR or create an issue. Thanks!
A simple, fun, and interactive way to learn the F# language through testing.
Low level fuse bindings for nodejs
Unofficial getpocket.com API Golang SDK