No GC. No malloc. With Dependent type and Linear type! It's written with ATS language http://www.ats-lang.org/. The source code is found at https://github.com/fpiot/arduino-ats/blob/master/demo/lcd_ats/DATS/main.dats.
http://www.nicovideo.jp/watch/sm24680530