Atom: An EDSL for embedded hard realtime applications

There is a little more information on its github page: https://github.com/tomahawkins/atom