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

Take a Seat

A cloud service for restaurant owners to manage menus and make them accessible by QR code.

Fish Escape

An addictive puzzle game where you must save cute fishes from a robotic penguin.


A game about Scala, in Scala, where you jump from platform to platform.


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.

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.


A modern SAT solver, entirely written in Scala.


A verification and synthesis system for Scala.