Pinned 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
ndim
ocelot
Framework designed to support the prototyping of distributed algorithms.
ocelot.github.io
Webpage for project Ocelot (framework for prototyping distributed algorithms)
sbt-repo
Repository for publishing sbt artefacts
ScalaNeko
development platform aimed at prototyping distributed algorithms
spin-light
SPIN verification model for rendezvous algorithms of 2 robots with lights
stats-ci
Rust crate to compute confidence intervals of various kinds.
xdefago's Repositories
xdefago/stats-ci
Rust crate to compute confidence intervals of various kinds.
xdefago/class-da-prog
Programming projects on the ScalaNeko framework for the course CSC.T438 Distributed Algorithms taught at Tokyo Tech.
xdefago/intlPBL
Resources for International PBL course
xdefago/ndim
xdefago/ocelot
Framework designed to support the prototyping of distributed algorithms.
xdefago/ocelot.github.io
Webpage for project Ocelot (framework for prototyping distributed algorithms)
xdefago/sbt-repo
Repository for publishing sbt artefacts
xdefago/ScalaNeko
development platform aimed at prototyping distributed algorithms
xdefago/spin-light
SPIN verification model for rendezvous algorithms of 2 robots with lights