cmeiklejohn/PMLDC

Stars
238
Rank 169,306 (Top 4 %)
Language
HTML
Created over 8 years ago
Updated about 6 years ago

cmeiklejohn/PMLDC

cmeiklejohn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Programming Models and Languages for Distributed Computation

Programming Models and Languages for Distributed Computing

This repository is a work-in-progress curriculum on models and languages for distributed computing.

I try to write one section a week, but I don't guarantee that because this is a side project to my Ph.D. research.

If you use any of this content in a course or workshop, please let me know, I'd love to know where it's being used and reference it from this page.

Book

Download all of the posts here: https://github.com/cmeiklejohn/PMLDC/blob/master/pmldc.pdf

Blog

Or, view them on my blog: http://christophermeiklejohn.com

Contributing

TODO's on sections to be written are in todo.tex.

Copyright

Copyright 2016 Christopher Meiklejohn

ember-visualizations

Basic Ember.js visualizations built in D3.

riak_pg

Distributed process groups with riak_core.

cmeiklejohn.github.io

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.

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

dotvim

vim configuration files, a new beginning.

rebar_js_uglifier_plugin

Rebar support for minification of JavaScript files.

kubernetes-hello-world-example

Adapted from the Google Cloud Provider tutorial for Google Kubernetes Engine.

piper

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

DurableFunctionBank

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

cloud-haskell-example

Example application with Cloud Haskell.

rebar_js_stylus_plugin

Rebar support for compilation of Stylus files.

rebar_js_concatenator_plugin

Rebar support for concatenation of JavaScript files.

rebar_js_minispade_plugin

Rebar support for minispade usage with JavaScript files.

nitrogen_sample

Sample nitrogen chat application.

consus

Lighweight prototype Dropbox clone written for Riak CS.

herloku

Erlang application with webmachine on heroku.

hack-harvard-2013-demo

Demo for Hack Harvard 2013 Seminar

DurableFunctionDatabase

Building an example database with Durable Functions.

shipitdudemouse

http://shipitdudemouse.heroku.com

guard-evergreen

Continuous testing for evergreen.

lasp

A Language for Distributed, Eventually Consistent Computations

erlang_examples

What I'm hacking on while learning Erlang.

overriak-ui

UI for overriak service.

kindling

Kindle book management and sharing platform.

riik

Lightweight object mapper for Riak.

cereal_box

Serialization filters for active record.

histomatic

Quick 'n dirty histograms for ActiveRecord.

motorized-bootstrap

Twitter's bootstrap, as scss, in a rails engine.

future-of-front-end

Lunch time tech talk for colleagues on new front-end development technologies.

guard-tddium

Run your specs with tddium through guard.

riaque

Process background jobs persisted in Riak.

pve

Predecessor vectors with exceptions for Erlang.

watchmaker

Extract test setup and factory instantiation into reusable objects.

dwt

Down with TODOs.

seedable

Allows for quick serialization/deserialization of objects for moving between environments.

rebar_js_plugin

Rebar extensions for JavaScript development in Erlang applications.

reba

Prototype of a binding library authored in ClojureScript.

wheresronin.com

interview-playground

typescript-demos

duckbone-tickets

A sample application using Duckbone and Rails

authlogic_udid

Authentication plugin for authlogic that allows authentication by UDID -- useful for iPhones/iPods.

materializer

Persist serialization in the model.

whatisnode.com

how-to-bdd

How to BDD presentation.

elixir-demos

What you know about Elixir?

rebar_js_handlebars_plugin

Rebar support for compilation of Handlebars files.

webmachine-tutorial-bobkonf

Webmachine Tutorial for BOBkonf 2015

chirps

Twitter clone for use with Antidote.

flume-ng

Clone of flume-ng for experimental work.

bauerbot

what has hubot done with my family?!?!

todos

todos demo application written in sproutcore

derflow

Distributed deterministic dataflow programming for Erlang

node-playground

playing around with node

drip-submission

Submission version of drip.io for the Node Knockout.

learndistributed.com

Learn Distributed, the Website

drip-example

empty app with a test to test post-receive hook

hellion

Amazon receipt processing.

aws_workers

Work in progress.

unrecorded.fm

The group Rdio® listening experience.

cocktail

Drink the caremad combinator.

nltk-playground

meiklejohn

The home for all things Meiklejohn!

fpinscala

Exercises from Functional Programming in Scala

iswhyiamlate

this.iswhyiamlate.com

libhoney-erl

Erlang library for sending data to Honeycomb.

riak_control_mapreduce

An experiment in modeling Riak MapReduce queries in Ember.js.