I didn't know dan grossman was in that team. He did a nice MOOC on coursera. I wish he did one on cyclone's ideas :) ps: were there other safe C langs ? I kind

I didn't know dan grossman was in that team. He did a nice MOOC on coursera. I wish he did one on cyclone's ideas :) ps: were there other safe C langs ? I kinda remember another CS based C dialect (a blue themed website) that was close to cyclone but I can't remember which. maybe E.. damn memory.