Here is a list of some of my projects. This list unfortunately excludes private projects or projects that for some reason never saw the light of day.

Categories

Synner

Synner is a tool that helps users generate real-looking synthetic data by visually and declaratively specifying the properties of the dataset such as each field’s statistical distribution, its domain, and its relationship to other fields.

  • Web
  • App
  • Library
  • Research
  • Databases
  • AI
  • Java
  • D3
  • Angular

Texture

Texture is a framework for data extraction over PDF documents. Developers write and manage heuristics, while Mturk workers and end-users contribute by providing ground truth.

  • Web
  • App
  • Library
  • Research
  • Databases
  • AI
  • Java
  • D3
  • React

Qetch

Qetch is a tool that allows users to freely sketch patterns on a scale-less canvas to query time series data without specifying query length or amplitude.

  • Web
  • App
  • Research
  • Databases
  • D3
  • Angular

sPaQL TooLs

sPaQL TooLs is a Stochastic Package Query Interface for Scalable Constrained Optimization. For example, given uncertain predictions for future stock prices based on financial models derived from historical data, sPaQL TooLs finds and displays to the investor a set of trades that will maximize the expected future gain, while ensuring that a loss will only happen with a certain probability.

  • Web
  • App
  • Research
  • Databases
  • AI
  • Python
  • D3
  • ReactJS

Miro’s Windows Manager

A productivity tool for moving and resizing windows by only using the keyboard.

  • Web
  • App
  • LUA
  • OSX

Justified Gallery

Javascript library to help creating high quality justified galleries of images. Used by thousands of websites as well as the photography community 500px.

  • Web
  • App
  • Library
  • JavaScript
  • JQuery

StrategyOne

During my experience at CRIF S.p.A. I was the main developer for the new version of StrategyOne, a multi-purpose decision engine used to calculate credit scores in Italy (i.e. Eurisc) as well as in other countries and companies. his new version is able to manipulate hierarchical data by using a custom language and other graphical components. There was an average of 93% performance gain over the older version, despite the latter was only able to work with simpler tabular data.

  • Java

Lucky Scratch! Scratch Cards!

A scratch card game for Android I made for an university project. A social experiment, as I like to call it, that had more than 150.000 downloads.

  • Game
  • Java
  • Android

Contributions Importer for GitHub

A tool to help users to import contributions to GitHub from private git repositories, or from public repositories that are not hosted in GitHub.

  • Library
  • Python
  • Git

Ruzzle Solver

A fast solver for Ruzzle, used by more than two million users.

  • Web
  • App
  • JavaScript
  • C++
  • PHP

Multi Level Networks Model

The aim of this project is to create a model and query language for multi-level networks analysis. For example we have a network (e.g. LinkedIn) where people are connected if they are colleagues, and another network (e.g. Facebook) where people are connected if they are friends).
It is based on path pattern recognition algebra. It provides selection, projection, aggregation, join, and synthesis operators.
This project is exhaustively described in my Master Thesis (in Italian).
This project contains the code for the implementation of the model, and the operator as defined in the thesis to query the data.
  • Library
  • Java
  • Database

pubcFS

pubcFS is a virtual file system that encrypts folders and files on-the-fly. It uses asymmetric keys (i.e. RSA) in order to make it possible to share the encrypted folders with other users.
It is implemented in C, using FUSE, which make it possible to install this filesystem in the userspace rather than in kernel space.
  • Library
  • Linux
  • File System
  • OSX
  • C
  • FUSE

MExpr

A C++ library which parses human-like arithmetic expressions like
-3xy^2 - 3(xy + 3)(-5x + y)
The library has been made using bison and flex. Features: implicit multiplications, AST manipulation and evaluation, bytecode compilation and evaluation, custom functions, functions overloading, dynamic environment.
  • Library
  • Linux
  • OSX
  • C++
  • Bison
  • Flex
  • GoogleTest

Markov Decision Process Examples GUI

Simple GUI and algorithms to play and learn Markov Decision Process.

  • Web
  • App
  • Research
  • Databases
  • D3
  • Angular

Wi-Fi Control

A simple Alfred Workflow to control Wi-Fi. It can turn on, turn off, toggle or restart the Wi-Fi.

  • App
  • Python
  • AppleScript
  • OSX

New Terminal Window

A simple Alfred Workflow for quickly opening terminal windows.

  • App
  • Python
  • AppleScript
  • OSX

Flickr Justified Gallery for WordPress

Plugin that allows you to show your Flickr photostream, photosets, galleries, group pools, or tags in your WordPress blog, with an elegant compact layout, using Justified Gallery.

  • Web
  • WordPress
  • PHP
  • JavaScript

Miro WordPress Theme

Minimal, Clean and Responsive WordPress Theme, realised using Sage and Bootstrap 4. This theme is used by this website!
  • Web
  • WordPress
  • PHP
  • Bootstrap
  • D3
  • SVG

Ultra Race 2009

2D Racing game for PC. Beat your lap records running faster, and measure your drifting abilities. Win the challenges, going fast also through the pit lane to refuel the car.
  • Game
  • Windows
  • Linux
  • OSX
  • Java
  • Java2D

Miro Rubix

A simple puzzle for PC inspired by the famous game called Rubik’s Cube.
  • Game
  • Windows
  • Linux
  • OSX
  • Java
  • Java2D

Miro Rubix for PSP®

A simple puzzle for PSP ® inspired by the famous game called Rubik’s Cube.
  • Game
  • PSP®
  • C/C++
  • Oslib

MirCronometro

An accurate stopwatch for for PSP®. It evaluates best time, worst time, and the average time. It works also when the PSP® is in standby mode. Capability to memorize intermediate times. You can use it as a metronome.
  • App
  • PSP®
  • C/C++
  • Oslib
Other projects will be added soon…