Konstantinos Kallas's repositories
riker
Always-Correct and Fast Incremental Builds from Simple Specifications
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
aws-encryption-sdk-c
AWS Encryption SDK for C
dapr-quickstarts
Dapr quickstart code samples and tutorials showcasing core Dapr capabilities
DeathStarBench
Open-source benchmark suite for cloud microservices
durabletask
Durable Task Framework allows users to write long running persistent workflows in C# using the async/await capabilities.
homework1
Homework 1 Introduction To Rust
junit-quickcheck
Property-based testing, JUnit-style
kappa
Serverless for all computation
libdash
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces and OCaml bindings.
mu2sls
A framework for correctly implementing stateful microservice applications on serverless using standard Python.
plclub-web
A Hakyll [plclub] website.
samza-hello-samza
Mirror of Apache Samza
streaming-benchmarks
Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...
TERA-Seq_manuscript
Codes, scripts and tools to reproduce analyses in TERA-Seq manuscript
the-algorithm
Source code for Twitter's Recommendation Algorithm
util-microservice-scripts
This repository contains several utility scripts for installing, starting, stopping, and experimenting with microservices.
yahoo-streaming-benchmark
An extension of Yahoo's Benchmarks