A list of projects I am currently — or have been — involved in

WinSmash

An arcade game that emulates good old Microsoft Windows user experience.

SprayHere

A geo-localized platform, to discuss and interact with people and services around.

TimeStash

A social network to remember, collect, and share memories.

Travel Meets You

A directory of authentic travel itineraries.

Rat Trap

An addictive puzzle game where you must protect a delicious cheese from an evil rat.

CafeSat

A modern SAT solver, entirely written in Scala.

Leon

A verification and synthesis system for Scala.