Giters

jkoppel / thermometer-continuations

Examples from our paper "Capturing the Future by Replaying the Past"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

thermometer-continuations

Examples from our paper "Capturing the Future by Replaying the Past"

See ARTIFACT_OVERVIEW.txt for notes on building and using the Docker container.

About

Examples from our paper "Capturing the Future by Replaying the Past"

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Standard ML 65.4%Language:OCaml 16.7%Language:Java 7.0%Language:Shell 3.0%Language:Dockerfile 2.5%Language:Ruby 1.9%Language:Awk 1.6%Language:Makefile 1.0%Language:Prolog 0.9%