Pinned Repositories
cmeiklejohn.github.io
My Blog.
distributed-data-structures
Distributed Data Structures in Coq
ember-visualizations
Basic Ember.js visualizations built in D3.
partisan-usenix-atc-2019
Experimental evaluation for the Partisan paper at USENIX ATC 2019.
PMLDC
Programming Models and Languages for Distributed Computation
riak_pg
Distributed process groups with riak_core.
shafty
ClojureScript functional reactive programming library.
lasp
Prototype implementation of Lasp in Erlang.
partisan
High-performance, high-scalability distributed computing for the BEAM.
types
Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
cmeiklejohn's Repositories
cmeiklejohn/webmachine-tutorial
Webmachine Tutorial for LambdaJam 2013
cmeiklejohn/ensemble
Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
cmeiklejohn/cloud-haskell-example
Example application with Cloud Haskell.
cmeiklejohn/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
cmeiklejohn/BashoDidgeridoo
Experiment using Riak Core to play distributed music.
cmeiklejohn/lasp
A Language for Distributed, Eventually Consistent Computations
cmeiklejohn/pve
Predecessor vectors with exceptions for Erlang.
cmeiklejohn/derflow
Distributed deterministic dataflow programming for Erlang
cmeiklejohn/fpinscala
Exercises from Functional Programming in Scala
cmeiklejohn/gen_netlink
cmeiklejohn/plt
A path to Programming Language Theory enlightenment
cmeiklejohn/plumtree
Epidemic Broadcast Trees
cmeiklejohn/webmachine-tutorial-bobkonf
Webmachine Tutorial for BOBkonf 2015
cmeiklejohn/antidote
SyncFree Reference Platform
cmeiklejohn/antidote-twitter-clone
AntidoteDB twitter application.
cmeiklejohn/bdberl
Erlang interface to BerkeleyDB
cmeiklejohn/beambag
beambag is an erlang library for using beam files as a quasi-static in-memory data store.
cmeiklejohn/cweepy-es6-react
Rebuild Cweepy with ES6 and React
cmeiklejohn/erl-dns
DNS server, in erlang.
cmeiklejohn/erlang_js
A linked-in driver for Erlang to Mozilla's Spidermonkey Javascript runtime.
cmeiklejohn/katja
A simple Riemann client written in Erlang.
cmeiklejohn/lager
A logging framework for Erlang/OTP
cmeiklejohn/luwak
Large-object storage interface for Riak
cmeiklejohn/machi
Machi file store
cmeiklejohn/playa-mesos
Quickly build Mesos sandbox environments using Vagrant. Run apps on top!
cmeiklejohn/rebar-1
Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases.
cmeiklejohn/riak-playground
cmeiklejohn/riak_test
I'm in your cluster, testing your riaks
cmeiklejohn/yaws
Yaws webserver
cmeiklejohn/yokozuna
Riak + Solr