C corp.galois.com Fast and formally verified C implementation of Base64 106 points lelf 13 years ago 40 comments
