Xavier Defago's repositories
class-da-prog
Programming projects on the ScalaNeko framework for the course CSC.T438 Distributed Algorithms taught at Tokyo Tech.
intlPBL
Resources for International PBL course
000
Language:RustApache-2.0000
ocelot
Framework designed to support the prototyping of distributed algorithms.
Language:ScalaApache-2.0000
ocelot.github.io
Webpage for project Ocelot (framework for prototyping distributed algorithms)
Apache-2.0000
sbt-repo
Repository for publishing sbt artefacts
Apache-2.0000
spin-light
SPIN verification model for rendezvous algorithms of 2 robots with lights
xdefago
Personal profile repository
GPL-3.0000