4 ms·
If you want proven crypto, there's always this project: https://github.com/idris-hackers/idris-crypto https://github.com/idris-hackers/idris-crypto
by nickmeharry 12y ago
If you want proven crypto, there's always this project: https://github.com/idris-hackers/idris-crypto https://github.com/idris-hackers/idris-crypto