Discover @cmeiklejohn Open Source projects

Christopher S. Meiklejohn (@cmeiklejohn)

cmeiklejohn

Stars
863
Global Rank 35,274 (Top 2 %)
Followers 659
Following 128
Registered almost 16 years ago
Most used languages

Ruby
30.6 %

Erlang
25.0 %

JavaScript
15.3 %

HTML
4.2 %

Coq 2.8 %

CSS
2.8 %

C#
2.8 %

Clojure
2.8 %

Vim Script
1.4 %

Elixir
1.4 %

Python
1.4 %

C
1.4 %

Scala
1.4 %

Haskell
1.4 %

TypeScript
1.4 %

Go
1.4 %

CoffeeScript
1.4 %

Java
1.4 %
Location 🇺🇸 United States
Country Total Rank 9,823
Country Ranking

Coq 19

Erlang
77

Clojure
399

HTML
763

Haskell
1,350

Vim Script
1,450

Elixir
2,231

Scala
3,076

Ruby
3,530

CoffeeScript
3,889

CSS
4,187

JavaScript
7,995

C#
8,693

Go
9,519

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

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.