Pinned Repositories
edsger_compiler
A complete compiler for the edsger toy language.
flumina
A parallel programming model for online applications with complex synchronization requirements.
gpus-kmeans
penn-cis673-hw-dafny
penn-cis673-hw-spin
dish
DiSh: Dynamic Shell-Script Distribution
pash
PaSh: Light-touch Data-Parallel Shell Processing
try
Inspect a command's effects before modifying your live system
mu2sls
A framework for correctly implementing stateful microservice applications on serverless using standard Python.
mucache
A caching framework for microservice applications
angelhof's Repositories
angelhof/flumina
A parallel programming model for online applications with complex synchronization requirements.
angelhof/penn-cis673-hw-dafny
angelhof/penn-cis673-hw-spin
angelhof/flumina-examples
angelhof/riker
Always-Correct and Fast Incremental Builds from Simple Specifications
angelhof/angelhof.github.io
angelhof/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
angelhof/aws-encryption-sdk-c
AWS Encryption SDK for C
angelhof/Beldi
angelhof/cbmc
C Bounded Model Checker
angelhof/cis198-homework2
angelhof/cis198-hw1-solutions
angelhof/dapr-quickstarts
Dapr quickstart code samples and tutorials showcasing core Dapr capabilities
angelhof/DeathStarBench
Open-source benchmark suite for cloud microservices
angelhof/durabletask
Durable Task Framework allows users to write long running persistent workflows in C# using the async/await capabilities.
angelhof/flink-training-exercises
angelhof/homework1
Homework 1 Introduction To Rust
angelhof/junit-quickcheck
Property-based testing, JUnit-style
angelhof/kappa
Serverless for all computation
angelhof/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.
angelhof/maskopy
Automated solution to copy and obfuscate production data to target environments in AWS
angelhof/mu2sls
A framework for correctly implementing stateful microservice applications on serverless using standard Python.
angelhof/plclub-web
A Hakyll [plclub] website.
angelhof/samza-hello-samza
Mirror of Apache Samza
angelhof/servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
angelhof/streaming-benchmarks
Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...
angelhof/TERA-Seq_manuscript
Codes, scripts and tools to reproduce analyses in TERA-Seq manuscript
angelhof/the-algorithm
Source code for Twitter's Recommendation Algorithm
angelhof/util-microservice-scripts
This repository contains several utility scripts for installing, starting, stopping, and experimenting with microservices.
angelhof/yahoo-streaming-benchmark
An extension of Yahoo's Benchmarks