cmeiklejohn's Stars
microsoft/terminal
The new Windows Terminal and the original Windows console host, all in the same place!
GoogleCloudPlatform/microservices-demo
Sample cloud-first application with 10 microservices showcasing Kubernetes, Istio, and gRPC.
marcotcr/lime
Lime: Explaining the predictions of any machine learning classifier
microsoft/TypeScript-Node-Starter
A reference example for TypeScript and Node with a detailed README describing how to use the two together.
Z3Prover/z3
The Z3 Theorem Prover
felixse/FluentTerminal
A Terminal Emulator based on UWP and web technologies.
PyGithub/PyGithub
Typed interactions with the GitHub API v3
microsoft/FASTER
Fast persistent recoverable log and key-value store + cache, in C# and C++.
koka-lang/koka
Koka language compiler and interpreter
MicrosoftDocs/architecture-center
Open Source documentation for the Azure Architecture Center on Microsoft Docs
umermansoor/microservices
Example of Microservices written using Flask.
microsoft/demikernel
Kernel-Bypass LibOS Architecture
delimitrou/DeathStarBench
Open-source benchmark suite for cloud microservices
Azure/azure-functions-durable-extension
Durable Task Framework extension for Azure Functions
mayan-edms/Mayan-EDMS
Free Open Source Document Management System (mirror, no pull request or issues)
microsoft/AMBROSIA
Robust Distributed Programming Made Easy and Efficient
gradle-nexus/publish-plugin
Gradle plugin for publishing to Nexus repositories
torralba-lab/im2recipe
Code supporting the CVPR 2017 paper "Learning Cross-modal Embeddings for Cooking Recipes and Food Images"
thomasjball/PyExZ3
Python Exploration with Z3
microsoft/durabletask-netherite
A new engine for Durable Functions. https://microsoft.github.io/durabletask-netherite
dranov/protocol-bugs-list
List of bugs found in distributed protocols
lackovic/notes
Notes
squaremo/bitsyntax-js
Binary data pattern matching
CrowdHailer/pachyderm
Virtual actors for elixir
semestry/gradle-aspectj
Gradle AspectJ plugin
evanmcc/vrrm
rough code for running consensus
avsm/shonan-143
Shonan #143: Programming Language Support for Data-intensive Applications
filibuster-testing/filibuster-java-instrumentation
Filibuster instrumentation for the JVM.
jlerche/expartisan
Elixir wrapper around lasp-lang/partisan
carlaferreira/FMTEA