A higher-order *(functional) *(programming language), written in _(Ocaml), which compiles to and integrates with (embeds in) _(C++). The _(type system) is similar to _(ML)'s, while the syntax is mostly similar to that of C++. The language includes a powerful _(macro)-expansion facility, a module system, and the ability to use inlined C++ code and types as primitives.

It supports ultra-lightweight threading and message-passing through compilation to continuations. The environment is also garbage-collected and provides standard bindings and binding-creation support for C and C++.

<ul class="links">
<li>The _(home page| http://felix.sourceforge.net/) at SourceForge.
</ul>