Gabriel Kerneis

CPC is a programming language designed for writing concurrent systems. The CPC programmer manipulates cooperatively scheduled threads; the CPC program is then processed by the CPC translator, which produces highly efficient event-loop code. In the author's opinion, this approach gives the best of ... [More] the two worlds: the convenience of programming with threads, and the low memory usage of event-loop code. [Less]

CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL all looping constructs are given a single form and expressions have no side-effects. This ... [More] reduces the number of cases that must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool that makes C programs memory safe. CIL supports ANSI C as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses. [Less]

Babelweb (sometimes spelled Bab el-Web) is a web-based monitoring tool for the Babel routing daemon.