teto1992

HashToMin

A MapReduce implementation of HashToMin for finding Connected Components in a graph.

greenICTer

A logic programming solution to assess the ecological footprint of your ICT system

NN-CI

a plugin to calculate the carbon emissions of Neural Networks training and inference

cutePets

declace

A declarative continuous reasoning approach to container image placement

ordleg-points

A Prolog prototype to automatically count points in the "Ordleg" game by FlyingTiger

ASE

Briscola

My first huge C project for the OS module, implementing a typical italian cards game.

cowsay

proimg

declarative docker image placer

bollino-grin

CurriculumSF

My CV in latex

DECCEN

DEcentralised Computation of CENtrality indices

di-unipi-socc.github.io

Home page of our organisation

Distributed-Enabling-Platforms

Github Repository for the Distributed Enabling Platforms course at University of Pisa.

FogTorch

QoS-Aware Deployment Through the Fog

GameOfLife

A Java implementation of Game of Life, both sequential and parallel.

GossipChat

A Java Instant Messaging Chat, built using RMI, TCP, UDP and JSON.

nodeserver

PaintF

A very simple F#-.NET paint program.

PySDD

Python package for Sentential Decision Diagrams (SDD)

Python-lessons

romanNumerals

Roman Numerals DFA

sharelatex

A web-based collaborative LaTeX editor

spectral

A jekyll theme for the spectral template by html5up.net (@ajlkn). Demo: http://arkadianriver.github.io/spectral. How to jekyll: http://jekyllrb.com/docs/home/. If you intend to use this theme as a blog site with more than a few pages, have a look at my fork at https://github.com/arkadianriver/arkadianriver.com

teto1992

Config files for my GitHub profile.

tic-tac-toe

website-copy

A repository for exercism's website's copy