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/cmeiklejohn.github.io
My Blog.
cmeiklejohn/kubernetes-hello-world-example
Adapted from the Google Cloud Provider tutorial for Google Kubernetes Engine.
cmeiklejohn/DurableFunctionDatabase
Building an example database with Durable Functions.
cmeiklejohn/erleans
Erlang Orleans
cmeiklejohn/flume-ng
Clone of flume-ng for experimental work.
cmeiklejohn/interview-playground
cmeiklejohn/typescript-demos
Playground
cmeiklejohn/17-313
cmeiklejohn/AMBROSIA
Robust Distributed Programming Made Easy and Efficient
cmeiklejohn/armeria-deadlock-bug
cmeiklejohn/cmeiklejohn-cmu-313
cmeiklejohn/cmu-thesis-memoir
CMU thesis template for memoir
cmeiklejohn/codespace-demo
cmeiklejohn/go
cmeiklejohn/grpc-java
The Java gRPC implementation. HTTP/2 based RPC
cmeiklejohn/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
cmeiklejohn/koka
Koka language compiler and interpreter
cmeiklejohn/Mayan-EDMS
Free Open Source Document Management System
cmeiklejohn/mayan-edms-demo
cmeiklejohn/mayan-edms-test
cmeiklejohn/microblog
A microblogging web application written in Python and Flask that I developed as part of my Flask Mega-Tutorial series.
cmeiklejohn/microservices-demo
Sample cloud-native application with 10 microservices showcasing Kubernetes, Istio, gRPC and OpenCensus.
cmeiklejohn/opentelemetry-java-instrumentation
OpenTelemetry auto-instrumentation and instrumentation libraries for Java
cmeiklejohn/P
The P programming language.
cmeiklejohn/partisan-performance-page
cmeiklejohn/paxoid
Paxos based masterless ID/Sequence generator.
cmeiklejohn/retrying-client-bug
cmeiklejohn/riak-erlang-client
The Riak client for Erlang.
cmeiklejohn/website
Website for the Tokio project
cmeiklejohn/zraft_lib