A list of projects I am currently — or have been — involved in
An arcade game that emulates good old Microsoft Windows user experience.
A geo-localized platform, to discuss and interact with people and services around.
A social network to remember, collect, and share memories.
A directory of authentic travel itineraries.
An addictive puzzle game where you must protect a delicious cheese from an evil rat.
A modern SAT solver, entirely written in Scala.
A verification and synthesis system for Scala.