🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
Cryptol: The Language of Cryptography
Python binding to the Networking and Cryptography (NaCl) library
- cryptography
- libsodium
- nacl
- python
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
- libsodium
- javascript
- cryptography
- crypto
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
A wrapper for Apple's Common Crypto library written in Swift.
Language for high-assurance and high-speed cryptography
Managed .NET wrapper for unmanaged PKCS#11 libraries
:trident: CommonCrypto in Swift, and more
- commoncrypto
- swift
Modern cryptography (libsodium/NaCl) for Clojure
Delphi wrapper for OpenSSL
- cryptography
- delphi
- openssl
- rsa
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Fork of LuaCrypto, which enables encryption and decryption through OpenSSL
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A Bitcoin Script Interpreter and Debugger in Scala
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
:shrimp: Rust cryptography library
- rust
- cryptography
Common Lisp system for generating and parsing of OpenSSH keys
- openssh-keys
- quicklisp
- key-pairs
- decoding
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language