libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
- libsodium
- javascript
- cryptography
- crypto
47,133 repositories indexed
1–4 of 4 · Most stars
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
Embed Julia in R
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]