Christopher S. Meiklejohn

PMLDC. Programming Models and Languages for Distributed Computation

ember-visualizations. Basic Ember.js visualizations built in D3.

riak_pg. Distributed process groups with riak_core.

cmeiklejohn.github.io. My Blog.

shafty. ClojureScript functional reactive programming library.

distributed-data-structures. Distributed Data Structures in Coq

partisan-usenix-atc-2019. Experimental evaluation for the Partisan paper at USENIX ATC 2019.

webmachine-tutorial. Webmachine Tutorial for LambdaJam 2013

vvclocks. Verified vector clocks, with Coq!

ensemble. Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.

loquat. Loquat: A System for Large-Scale Actor Programming

thinkdistributed.io. Think Distributed: The Distributed Systems Podcast

wine_dot_com_api_request. Provides a simple interface to cut down on code duplication when querying the wine.com API.

spry. Erlang

DurableFunctionBank. Building a bank for the bank account transfer example using Azure Durable Entities.

cloud-haskell-example. Example application with Cloud Haskell.

rebar_js_uglifier_plugin. Rebar support for minification of JavaScript files.

dotvim. vim configuration files, a new beginning.

kubernetes-hello-world-example. Adapted from the Google Cloud Provider tutorial for Google Kubernetes Engine.

rebar_js_stylus_plugin. Rebar support for compilation of Stylus files.

piper. Piper, a system for treating the browser like an Erlang process.

rebar_js_concatenator_plugin. Rebar support for concatenation of JavaScript files.

erlang-libp2p. An Erlang implementation of libp2p swarms

lasp. A Language for Distributed, Eventually Consistent Computations

rebar_js_minispade_plugin. Rebar support for minispade usage with JavaScript files.

BashoDidgeridoo. Experiment using Riak Core to play distributed music.

shipitdudemouse. http://shipitdudemouse.heroku.com

paul_revere. One if by land, two if by sea.

nitrogen_sample. Sample nitrogen chat application.

aws. Forked to resolve some zone and ruby1.8/1.9 issues when using outside of Rails.

herloku. Erlang application with webmachine on heroku.

DurableFunctionDatabase. Building an example database with Durable Functions.

10PL. 10 papers that all PhD students in programming languages ought to know, for some value of 10

consus. Lighweight prototype Dropbox clone written for Riak CS.

guard-evergreen. Continuous testing for evergreen.

hack-harvard-2013-demo. Demo for Hack Harvard 2013 Seminar

parallel_tests. Rails: 2 CPUs = 2x Testing Speed for RSpec, Test::Unit and Cucumber

evergreen. WIP branch to extract framework specific code and make framework agnostic.

guard-tddium. Run your specs with tddium through guard.

erlang_examples. What I'm hacking on while learning Erlang.

nltk-playground. Python

typescript-demos. Playground

whatisnode.com. HTML