GitHub repository: Anderssorby/OpenSSL.lean
Description: OpenSSL bindings for Lean