Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for cryptography ocaml
cryptography
x
ocaml
x
21 search results found
Karamel
⭐
377
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Graphene
⭐
154
A simple layer for interacting with PKCS #11 / PKCS11 / CryptoKI for Node in TypeScript. (Keywords: Javascript, PKCS#11, Crypto, Smart Card, HSM)
Awa Ssh
⭐
101
Purely functional SSH library in ocaml.
Cryptokit
⭐
92
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
Mirage Crypto
⭐
69
Cryptographic primitives for MirageOS
Ocaml Jose
⭐
51
Snarkette
⭐
47
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
Conex
⭐
32
establish trust in community repositories, cryptographically signed by library authors
Nethsm
⭐
28
Nitrokey NetHSM system software and firmware
Daft
⭐
24
DAFT Allows File Transfers
Secp256k1 Ml
⭐
24
Elliptic curve library secp256k1 wrapper for Ocaml
Pkcs11
⭐
21
OCaml bindings for the PKCS#11 cryptographic API
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
Twostep
⭐
16
HOTP and TOTP algorithms for 2-step verification (for OCaml). 🕙 🔐 🔢 🐫
Ocaml Scrypt Kdf
⭐
15
Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt
Key Parsers
⭐
14
OCaml parsers for multiple key formats
Ocaml Pari
⭐
12
OCaml bindings to the number theory library PARI/GP
Ike
⭐
12
Pure OCaml IKEv2
Hieroglyphs
⭐
11
Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. 🛡️ 🐫 🔒 🔑 [Work In Progress]
Ocaml Chacha
⭐
11
ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml
Ecc Ocaml
⭐
9
Elliptic Curves Cryptography for OCaml
Hackthon Coin Market
⭐
9
SOV Hackthon #2 : 加密貨幣市場價格查詢 (reasonml, reasonml-react)
Ocaml Salsa20
⭐
9
Salsa20 encryption function, in pure OCaml
Ocaml Salsa20 Core
⭐
8
Salsa20 core functions, in OCaml
Nocoiner
⭐
8
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. 🍀 🐫 🔒 🔑
Ocaml Crypto Keys
⭐
7
A library to transform public key files between different formats
Ocaml Elligator2
⭐
5
port of Elligator2 from libmonocypher
Related Searches
Cryptography Cryptocurrency (1,658)
Encryption Cryptography (1,357)
Cryptography Bitcoin (1,044)
Python Cryptography (1,005)
Blockchain Cryptography (974)
C Cryptography (813)
Golang Cryptography (734)
C Plus Plus Cryptography (677)
Security Cryptography (628)
Cryptography Cipher (573)
1-21 of 21 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.