The BitC Programming Language. When reliability matters.
This page will shortly provide an index of projects that are underway.