GitHub repository: yatima-inc/OpenSSL.lean
Primary language: C
Description: OpenSSL bindings for Lean