Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Cryptography Ocaml Open Source Projects

Open source projects categorized as Cryptography Ocaml
Categories > Security > Cryptography
Karamel ⭐ 377
KaRaMeL is a tool for extracting low-level F* programs to readable C code
most recent commit 3 months ago
Graphene ⭐ 154
A simple layer for interacting with PKCS #11 / PKCS11 / CryptoKI for Node in TypeScript. (Keywords: Javascript, PKCS#11, Crypto, Smart Card, HSM)
dependent packages 14total releases 58most recent commit 3 months agonpm graphene-pk11} Downloads
Awa Ssh ⭐ 101
Purely functional SSH library in ocaml.
most recent commit 10 months ago
Cryptokit ⭐ 92
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
most recent commit 4 months ago
Mirage Crypto ⭐ 69
Cryptographic primitives for MirageOS
most recent commit 3 months ago
Ocaml Jose ⭐ 51
most recent commit 7 months ago
Snarkette ⭐ 47
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
most recent commit 5 years ago
Conex ⭐ 32
establish trust in community repositories, cryptographically signed by library authors
most recent commit 2 years ago
Nethsm ⭐ 28
Nitrokey NetHSM system software and firmware
most recent commit 3 months ago
Daft ⭐ 24
DAFT Allows File Transfers
most recent commit a year ago
Secp256k1 Ml ⭐ 24
Elliptic curve library secp256k1 wrapper for Ocaml
most recent commit 4 months ago
Pkcs11 ⭐ 21
OCaml bindings for the PKCS#11 cryptographic API
most recent commit a year ago
Hacl ⭐ 21
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
most recent commit 3 years ago
Twostep ⭐ 16
HOTP and TOTP algorithms for 2-step verification (for OCaml). 🕙 🔐 🔢 🐫
most recent commit a year ago
Ocaml Scrypt Kdf ⭐ 15
Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt
most recent commit 3 years ago
Key Parsers ⭐ 14
OCaml parsers for multiple key formats
most recent commit a year ago
Ocaml Pari ⭐ 12
OCaml bindings to the number theory library PARI/GP
most recent commit 4 months ago
Ike ⭐ 12
Pure OCaml IKEv2
most recent commit 7 years ago
Hieroglyphs ⭐ 11
Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. 🛡️ 🐫 🔒 🔑 [Work In Progress]
most recent commit 2 years ago
Ocaml Chacha ⭐ 11
ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml
most recent commit 2 years ago
Ecc Ocaml ⭐ 9
Elliptic Curves Cryptography for OCaml
most recent commit 4 years ago
Hackthon Coin Market ⭐ 9
SOV Hackthon #2 : 加密貨幣市場價格查詢 (reasonml, reasonml-react)
most recent commit 5 years ago
Ocaml Salsa20 ⭐ 9
Salsa20 encryption function, in pure OCaml
most recent commit 3 years ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.