Hacker News Reader

There is T0, part of BearSSL. This presentation has an explanation of it (starts slide 19):

Ah - forgot about this. Thx for posting this. These little languages really keep the system footprint tiny compared to OpenSSL.