BitC maybe (if it ever reaches a stable 1.0 release): http://www.bitc-lang.org/ http://www.bitc-lang.org/ Cyclone would be another candidate: http://cyclone.th

BitC maybe (if it ever reaches a stable 1.0 release): http://www.bitc-lang.org/ http://www.bitc-lang.org/ Cyclone would be another candidate: http://cyclone.thelanguage.org/ http://cyclone.thelanguage.org/ Cilk would be another interesting option, with its built-in support for concurrency: http://software.intel.com/en-us/articles/intel-cilk-plus/ http://software.intel.com/en-us/articles/intel-cilk-plus/