phlalx Goto Github PK

algorithms

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

dream-types

Typechecking for message passing components

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

jos

MIT 6.828: Operating System Engineering lab / JOS

jquery.terminal

jQuery Terminal Emulator - web based terminal

kernelns

key-value-store

Distributed systems labs (MIT 6.824) - A reliable distributed key-value store.

kvs

micro-doom

Simple 3D game with binary space partitioning

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

rust-chess

Chess project to learn the Rust language

sawadee

bittorrent client

suggestions

tezos-flask

tiger

Toy compiler implementation in OCaml

types-information-flow

Types for information flow

yfs

MIT Distributed systems labs 6.824 - Spring 2012