[mythz]

BearSSL by Thomas Pornin is always worth checking in on, not sure what the current status is but looks like it received a commit last year.

[1] https://bearssl.org

[jorams]

BearSSL is really cool, but it claims beta quality with the latest release in 2018, doesn't support TLS 1.3, and hasn't seen meaningful development in years. It's averaging about 1 commit per year recently, and they're not big ones.

[embedding-shape]

Where is Bellard when we need him?

[mananaysiempre]

Most relevantly here, selling a commercial implementation of ASN.1: https://bellard.org/ffasn1/.