Project Limestone

Linear logic for resource-aware programming

Logo — Limestone with ammonite shell



Includes examples and benchmarks from the paper.

Code is released under the terms of GPLv3, with some additional conditions. See LICENSE for more details.

Please report bugs to

© Copyright 2015 by Jean-Philippe Bernardy, Dan Rosén, Josef Svenningsson and Víctor López Juan. All rights reserved.

Limestone logo based on a photograph by Hans Braxmeier.