Coder Social home page Coder Social logo

Hi there šŸ‘‹

  • šŸ™‚ Iā€™m a human being based in Ireland.
  • šŸ‘· I work as a software engineer and I hold a PhD in computer science.
  • šŸ“« How to reach me: $name.$surname[at]gmail[dot]com or LinkedIn.

Paolo's Projects

abstore icon abstore

A toy key-value store to experiment with atomic broadcast protocols.

call-center icon call-center

A study object-oriented implementation of a call center. [interview homework]

ccnsfq icon ccnsfq

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

ceph-mon icon ceph-mon

Fiddling with the Paxos implementation of Ceph Mon

cise icon cise

CISE tool to prove distributed programs safe wrt application level invariants - fork to clean up the project and ease building

ckad icon ckad

Support files for Pluralsight CKAD course - fork with personal notes

conver-old icon conver-old

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

display-visor icon display-visor

Bash script to apply pre-defined Xorg monitor layouts. Useful with i3wm.

docker-antidote icon docker-antidote

Antidote DB image for Docker Hub https://hub.docker.com/r/itoumlilt/antidotedb

edumips64 icon edumips64

Free cross-platform educational MIPS64 CPU Simulator

farmer icon farmer

Repeatable Azure deployments with ARM templates - made easy!

fsharpkoans icon fsharpkoans

A simple, fun, and interactive way to learn the F# language through testing.

fusejs icon fusejs

Low level fuse bindings for nodejs

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    šŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. šŸ“ŠšŸ“ˆšŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ā¤ļø Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.