Ivy is a compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety. Ivy relies on a small number of lightweight annotations in the source code to keep time and space overheads reasonable. Ivy is implemented as a C-to-C compiler using gcc as its backend.

This repository is an attempt by Sean Leather to resurrect the code. The old website is no longer updated, and this project has not seen an update since 2008.

Ivy builds on Linux and Mac OS X, in the usual Unix fashion:

./configure --prefix=<installation-path>
make
make install