cmeiklejohn

cmeiklejohn.github.io

My Blog.

kubernetes-hello-world-example

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

DurableFunctionDatabase

Building an example database with Durable Functions.

erleans

Erlang Orleans

flume-ng

Clone of flume-ng for experimental work.

interview-playground

typescript-demos

Playground

17-313

AMBROSIA

Robust Distributed Programming Made Easy and Efficient

armeria-deadlock-bug

cmeiklejohn-cmu-313

cmu-thesis-memoir

CMU thesis template for memoir

codespace-demo

go

grpc-java

The Java gRPC implementation. HTTP/2 based RPC

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.

koka

Koka language compiler and interpreter

Mayan-EDMS

Free Open Source Document Management System

mayan-edms-demo

mayan-edms-test

microblog

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

microservices-demo

Sample cloud-native application with 10 microservices showcasing Kubernetes, Istio, gRPC and OpenCensus.

opentelemetry-java-instrumentation

OpenTelemetry auto-instrumentation and instrumentation libraries for Java

P

The P programming language.

partisan-performance-page

paxoid

Paxos based masterless ID/Sequence generator.

retrying-client-bug

riak-erlang-client

The Riak client for Erlang.

website

Website for the Tokio project

zraft_lib