GitHub repository: spl/ivy
Primary language: OCaml
Created: 2015-09-29T08:10:34Z
Description: A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety