cmeiklejohn/riak_dt
Convergent replicated datatypes in Erlang
Developer Profile
cmeiklejohn
Discovered public repositories for cmeiklejohn in the GitHub catalog.
cmeiklejohn/rebar-1
Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases.
cmeiklejohn/ocaml-playground
OCaml Examples from Real World OCaml
cmeiklejohn/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
cmeiklejohn/vvclocks
Verified vector clocks, with Coq!
cmeiklejohn/verlang
Public repository.
cmeiklejohn/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cmeiklejohn/idris-tutorial
You know it.
cmeiklejohn/distsysbook
The book Distributed systems: for fun and profit
cmeiklejohn/otp
Erlang/OTP
cmeiklejohn/gocode
Go examples.
cmeiklejohn/the-haskells
Learning the Haskells.
cmeiklejohn/cloud-haskell-samples
Cloud Haskell Examples
cmeiklejohn/wheresronin.com
Where's Ronin?
cmeiklejohn/webmachine
A REST-based system for building web applications.
cmeiklejohn/webmachine-tutorial
Webmachine Tutorial for LambdaJam 2013
cmeiklejohn/thinkdistributed.io
Think Distributed: The Distributed Systems Podcast
cmeiklejohn/flume-ng
Clone of flume-ng for experimental work.
cmeiklejohn/McErlang
The McErlang model checker for Erlang
cmeiklejohn/riak_pg
Distributed process groups with riak_core.
cmeiklejohn/RiakControl
Riak Control, now on iOS!
cmeiklejohn/rfp
Request For Proposals
cmeiklejohn/gen
Professional computing.
cmeiklejohn/basho_bench
A load-generation and testing tool for key-value stores
cmeiklejohn/bud
Prototype Bud runtime (Bloom Under Development)
cmeiklejohn/distributed-data-structures
Distributed Data Structures in Coq
cmeiklejohn/game-cljs
The Game, authored in ClojureScript.
cmeiklejohn/nodepdx.github.com
Community site for the NodePDX Conference powered by GitHub Pages.
cmeiklejohn/shafty-clojure-west-2013
Clojure/West 2013 Presentation on Shafty
cmeiklejohn/riak_core
Distributed systems infrastructure used by Riak.
cmeiklejohn/riak-stream-deck
Riak Streaming Deck for Brown CSCI2270 Spring 2013
cmeiklejohn/riak_kv
Riak Key/Value Store
cmeiklejohn/riak_pipe
Riak Pipelines
cmeiklejohn/bloom-demos
Bloom demos.
cmeiklejohn/active-anti-entropy
Slide deck demoing Riak's active anti entropy.
cmeiklejohn/stack
A presentation library with intuitive, scroll-based navigation.
cmeiklejohn/dynamo_demo
Dynamo Demo Application
cmeiklejohn/dynamo
Run, Dynamo, Run!
cmeiklejohn/elixir-demos
What you know about Elixir?
cmeiklejohn/coqtailparty
You're invited to a Coqtail Party!
cmeiklejohn/cocktail
Drink the caremad combinator.
cmeiklejohn/ring
Prototype consistent hashing ring visualization.
cmeiklejohn/game
Prototype kanban user interface authored in D3.
cmeiklejohn/meck
A mocking library for Erlang
cmeiklejohn/nemovines
Do it for Nemo.
cmeiklejohn/bullet
Public repository.
cmeiklejohn/hack-harvard-2013-demo
Demo for Hack Harvard 2013 Seminar
cmeiklejohn/data.priority-map
Public repository.
cmeiklejohn/piper
Piper, a system for treating the browser like an Erlang process.