fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq48other
7 months ago
awesome-cryptography
A curated list of cryptography resources and links.
5899other
last month
awesomeawesome-listcrypto
mbedtls
An open source, portable, easy to use, readable and flexible TLS library, and re
C5491other
24 days ago
cryptocryptography-librarypsa
rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libso
Ruby982mit
5 months ago
chacha20cryptographyed25519
jasmin
Language for high-assurance and high-speed cryptography
Coq268mit
27 days ago
compilercoqlanguage
dryoc
Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library
Rust288mit
2 months ago
cryptocryptographycryptography-library
noble-curves
Audited & minimal JS implementation of elliptic curve cryptography.
JavaScript691mit
yesterday
bitcoinbls12-381bn128
libtomcrypt
LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolki
C1560other
last month
ccryptographyencryption
awesome-crypto-papers
A curated list of cryptography papers, articles, tutorials and howtos.
1804other
last month
applied-cryptographyawesomeawesome-list
jsrsasign
The 'jsrsasign' (RSA-Sign JavaScript Library) is an opensource free cryptography
HTML3275other
10 months ago
3desaesasn1
awesome-privacy
Description Strongbox is an application for keeping all your passwords safely
Astro6516cc0-1.0
4 months ago
awesomeawesome-listhacktoberfest
Strongbox
Description Strongbox is an application for keeping all your passwords safely
Objective-C1341agpl-3.0
3 days ago
cocoacryptographyios
Applied-Crypto-Hardening
Best Current Practices regarding secure online communication and configuration o
TeX704
3 years ago
applied-cryptographybest-practicescryptography
eosjs-ecc
Elliptic curve cryptography functions: Private Key, Public Key, Signature, AES,
JavaScript287
last year
zachaeus
An easy to use licensing system, using asymmetric cryptography to generate and v
Elixir17mit
5 years ago
apiauthenticationeasy-to-use
pyelliptic
Python OpenSSL wrapper. For modern cryptography with ECC, AES, HMAC, Blowfish, .
Python132bsd-2-clause
8 years ago
kalium
Java binding to the Networking and Cryptography (NaCl) library with the awesomen
Java208apache-2.0
last year
cryptographyjavajava-bindings
crypto-algorithms
Basic implementations of standard cryptography algorithms, like AES and SHA-1.
C1833
4 years ago
NaCl.Core
🔑 NaCl.Core, a cryptography library for .NET
C#69mit
last year
chacha20-poly1305dotnetdotnet-core
mundane
Mundane is a Rust cryptography library backed by BoringSSL that is difficult to
Rust1072mit
last year
boringsslcryptographyrust
tsec
Type-safe general-cryptography library - https://jmcardon.github.io/tsec/
Scala350mit
3 years ago
cryptographyfunctional-programmingjca
clj-crypto
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptog
Clojure29
8 years ago
retter
A collection of hash functions, ciphers, tools, libraries, and materials related
C97
8 years ago