GitHunt

Christopher S. Meiklejohn

cmeiklejohn

Doctor of Software Engineering and Software Engineer

Carnegie Mellon University
Steel City

Organizations

Languages

Erlang26%HTML7%Java7%JavaScript7%Coq7%Ruby7%C#7%Dafny4%Shell4%Haskell4%

Repos

261

Stars

660

Forks

54

Top Language

Erlang

Loading contributions...

Top Repositories

Repositories

261
CM
cmeiklejohn/cmeiklejohn.github.io

My Blog.

HTML5614Updated just now
CM
cmeiklejohn/riak-playground

No description provided.

Java10Updated 11 years ago
CM
cmeiklejohn/dafny-book

No description provided.

Dafny10Updated 1 month ago
CM
cmeiklejohn/partisan-usenix-atc-2019

Experimental evaluation for the Partisan paper at USENIX ATC 2019.

Erlang230Updated 6 years ago
CM
cmeiklejohn/PMLDC

Programming Models and Languages for Distributed Computation

HTML2404Updated 7 years ago
CM
cmeiklejohn/dataFork

A data persistence library for Ember.js.

JavaScript00Updated 13 years ago
CM
cmeiklejohn/ensemble

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

Erlang121Updated 9 years ago
CM
cmeiklejohn/vvclocks

Verified vector clocks, with Coq!

Coq140Updated 12 years ago
CM
cmeiklejohn/wine_dot_com_api_request

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

Ruby91Updated 16 years ago
CM
cmeiklejohn/webmachine-tutorialFork

Webmachine Tutorial for LambdaJam 2013

Erlang172Updated 10 years ago
CM
cmeiklejohn/playa-mesosFork

Quickly build Mesos sandbox environments using Vagrant. Run apps on top!

Shell00Updated 10 years ago
CM
cmeiklejohn/gen_netlinkFork

No description provided.

Erlang10Updated 10 years ago
CM
cmeiklejohn/DurableFunctionBank

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

C#61Updated 6 years ago
CM
cmeiklejohn/go

No description provided.

00Updated 1 year ago
CM
cmeiklejohn/distributed-data-structures

Distributed Data Structures in Coq

Coq492Updated 12 years ago
CM
cmeiklejohn/ember-visualizations

Basic Ember.js visualizations built in D3.

JavaScript9214Updated 12 years ago
CM
cmeiklejohn/libhoney-erl

Erlang library for sending data to Honeycomb.

Erlang01Updated 8 years ago
CM
cmeiklejohn/cloud-haskell-example

Example application with Cloud Haskell.

Haskell50Updated 9 years ago
CM
cmeiklejohn/riak_pg

Distributed process groups with riak_core.

Erlang7210Updated 6 years ago
CM
cmeiklejohn/cmu-thesis-memoirFork

CMU thesis template for memoir

00Updated 6 years ago
CM
cmeiklejohn/elixir-demos

What you know about Elixir?

Elixir10Updated 13 years ago
CM
cmeiklejohn/retrying-client-bug

No description provided.

Kotlin00Updated 3 years ago
CM
cmeiklejohn/AMBROSIAFork

Robust Distributed Programming Made Easy and Efficient

C#00Updated 6 years ago
CM
cmeiklejohn/loquat

Loquat: A System for Large-Scale Actor Programming

Erlang110Updated 9 years ago
distributed-systemserlang
CM
cmeiklejohn/codespace-demo

No description provided.

EJS00Updated 4 years ago
CM
cmeiklejohn/shafty

ClojureScript functional reactive programming library.

Clojure494Updated 12 years ago
CM
cmeiklejohn/armeria-deadlock-bug

No description provided.

Java00Updated 4 years ago
CM
cmeiklejohn/microblogFork

A microblogging web application written in Python and Flask that I developed as part of my Flask Mega-Tutorial series.

Python00Updated 4 years ago
CM
cmeiklejohn/opentelemetry-java-instrumentationFork

OpenTelemetry auto-instrumentation and instrumentation libraries for Java

00Updated 4 years ago
CM
cmeiklejohn/rbvmomiFork

Ruby interface to the VMware vSphere API.

Ruby10Updated 14 years ago

Gists

Recent Activity

Christopher S. Meiklejohn (cmeiklejohn) | GitHunt