Christopher S. Meiklejohn's repositories
cmeiklejohn.github.io
My Blog.
microblog
A microblogging web application written in Python and Flask that I developed as part of my Flask Mega-Tutorial series.
opentelemetry-java-instrumentation
OpenTelemetry auto-instrumentation and instrumentation libraries for Java
website
Website for the Tokio project
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.
riak-erlang-client
The Riak client for Erlang.
microservices-demo
Sample cloud-native application with 10 microservices showcasing Kubernetes, Istio, gRPC and OpenCensus.
kubernetes-hello-world-example
Adapted from the Google Cloud Provider tutorial for Google Kubernetes Engine.
P
The P programming language.
cmu-thesis-memoir
CMU thesis template for memoir
Mayan-EDMS
Free Open Source Document Management System
AMBROSIA
Robust Distributed Programming Made Easy and Efficient
typescript-demos
Playground
paxoid
Paxos based masterless ID/Sequence generator.
koka
Koka language compiler and interpreter
DurableFunctionDatabase
Building an example database with Durable Functions.