Explore projects

Image filesystem project for the CS202 Computer Systems class at EPFL Done with Kevin Yang Zhang

Program verifier for Scala. Documentation, sources on GitHub

Collaborative Web editor in Meteor+React, built on top of Remirror and using Meteor's DDP as the transport layer

Candidature Apprentis (aka CanAp)

The first real-time VDM-based navigation prototype