cryptol by GaloisInc

Cryptol: The Language of Cryptography

updated at Nov. 14, 2024, 10:06 p.m.

57 +0

1,136 +1

126 +0

HsOpenSSL by depressed-pho

OpenSSL binding for Haskell

updated at Sept. 27, 2024, 2:26 p.m.

2 +0

20 +0

56 +0