Philippe's repositories
key-value-store
Distributed systems labs (MIT 6.824) - A reliable distributed key-value store.
dream-types
Typechecking for message passing components
micro-doom
Simple 3D game with binary space partitioning
bellman
Simulation of a distributed bellman-ford algorithm
chalk
An interpreter for a higher-order pi-calculus with components
code-trimmer
Delete part of code source according to commented annotations
cryptocurrency
Assignments for Coursera/Princeton cryptocurrency MOOC
Examples
A collection of TLA+ specifications of varying complexities
Glean
System for collecting, deriving and working with facts about source code.
hashcode-2015
Hashcode 2015 qualification and finale round
hashcode-2016
Hashcode 2016 qualification round
hashcode-2017
Hashcode 2017 qualification round
jquery.terminal
jQuery Terminal Emulator - web based terminal
multitab
Python script to open Terminal tabs and run sequences of commands
ocaml-template
Template for ocaml application using jbuilder and core
ring-leader-election
Leader election algorithm in a unidirectional ring in Erlang
tiger
Toy compiler implementation in OCaml
types-information-flow
Types for information flow