Distributed Links Examples

This repository contains various examples of distributed applications in Links.

• agario is a multiplayer implementation of the Agar.io game.
• calculator is a minimal implementation of a calculator application with a shared memory cell. This is a fairly minimal example, so is a good place to start.
• chatserver is the chat server example described in "Session Types without Tiers".
• extended_chatserver is an extended version of the chatserver, with support for multiple rooms and moderators.
• pingpong is a simple application demonstrating client->client communication.
• two-factor is a two-factor authentication workflow.

Credits

• agario: Original port by Victor Dumitrescu, distributed version by Sara Decova
• calculator: Sara Decova, updated by Simon Fowler
• chatserver: Simon Fowler and Sam Lindley
• extended_chatserver: Sara Decova and Simon Fowler
• pingpong: Simon Fowler
• two-factor: Simon Fowler