Discover cmeiklejohn/shafty Open Source project

Distributed process groups with riak_core.

riak_pg

Distributed Data Structures in Coq

cmeiklejohn.github.io

My Blog.

HTML

distributed-data-structures

Coq

partisan-usenix-atc-2019

Experimental evaluation for the Partisan paper at USENIX ATC 2019.

Verified vector clocks, with Coq!

vvclocks

Coq

ensemble

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

Loquat: A System for Large-Scale Actor Programming

loquat

Think Distributed: The Distributed Systems Podcast

thinkdistributed.io

CSS

wine_dot_com_api_request

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

spry

vim configuration files, a new beginning.

dotvim

Vim Script

rebar_js_uglifier_plugin

Rebar support for minification of JavaScript files.

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

kubernetes-hello-world-example

piper

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

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

DurableFunctionBank

cloud-haskell-example

Example application with Cloud Haskell.

Haskell

rebar_js_stylus_plugin

Rebar support for compilation of Stylus files.

Rebar support for concatenation of JavaScript files.

rebar_js_concatenator_plugin

Rebar support for minispade usage with JavaScript files.

rebar_js_minispade_plugin

Sample nitrogen chat application.

nitrogen_sample

Lighweight prototype Dropbox clone written for Riak CS.

consus

Erlang application with webmachine on heroku.

herloku

Demo for Hack Harvard 2013 Seminar

hack-harvard-2013-demo

Building an example database with Durable Functions.

DurableFunctionDatabase

shipitdudemouse

http://shipitdudemouse.heroku.com

Continuous testing for evergreen.

guard-evergreen

A Language for Distributed, Eventually Consistent Computations

lasp

erlang_examples

What I'm hacking on while learning Erlang.

overriak-ui

UI for overriak service.

Kindle book management and sharing platform.

kindling

Lightweight object mapper for Riak.

riik

Serialization filters for active record.

cereal_box

Quick 'n dirty histograms for ActiveRecord.

histomatic

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

motorized-bootstrap

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

future-of-front-end

Run your specs with tddium through guard.

guard-tddium

Process background jobs persisted in Riak.

riaque

Predecessor vectors with exceptions for Erlang.

pve

Extract test setup and factory instantiation into reusable objects.

watchmaker

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

dwt

Down with TODOs.

seedable

Rebar extensions for JavaScript development in Erlang applications.

rebar_js_plugin

reba

Prototype of a binding library authored in ClojureScript.

wheresronin.com

interview-playground

typescript-demos

duckbone-tickets

A sample application using Duckbone and Rails

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

authlogic_udid

Persist serialization in the model.

materializer

What you know about Elixir?

whatisnode.com

HTML

how-to-bdd

How to BDD presentation.

elixir-demos

Elixir

rebar_js_handlebars_plugin

Rebar support for compilation of Handlebars files.

Webmachine Tutorial for BOBkonf 2015

webmachine-tutorial-bobkonf

Twitter clone for use with Antidote.

chirps

Clone of flume-ng for experimental work.

flume-ng

Java

bauerbot

what has hubot done with my family?!?!

CoffeeScript

todos

todos demo application written in sproutcore

Distributed deterministic dataflow programming for Erlang

derflow

node-playground

playing around with node

Submission version of drip.io for the Node Knockout.

drip-submission

Learn Distributed, the Website

learndistributed.com

CSS

drip-example

empty app with a test to test post-receive hook

Amazon receipt processing.

hellion

aws_workers

Work in progress.

The group Rdio® listening experience.

unrecorded.fm

Drink the caremad combinator.

cocktail

The home for all things Meiklejohn!

nltk-playground

Python

meiklejohn

Exercises from Functional Programming in Scala

fpinscala

Scala

iswhyiamlate

this.iswhyiamlate.com

Erlang library for sending data to Honeycomb.

libhoney-erl

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

riak_control_mapreduce