Silex is a modern programming language and development environment for scientific, high-performance, high-integrity and safety-critical applications.