A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Repository Index
47,133 repositories indexed
241–264 of 378 · Most stars
Block & stream ciphers, public key crypto, hashing, KDF, MAC, PKCS, TLS, ASN.1, BER/DER, etc.
AI-powered SDK featuring algorithmic trading, backtesting, deployment on 100+ exchanges, and multiple optimization engines.
This project is obsolete is no longer developed, maintained or serviced!
A discord bot for reverse engineers and exploit developers.
Let's learn Algorand!
Yet another pastebin
- golang
- javascript
- pastebin
- self-hosted
🔑 NaCl.Core, a cryptography library for .NET
- dotnet
- netstandard
- dotnet-core
- chacha20-poly1305
Creates a readable stream producing cryptographically strong pseudo-random data using `crypto.randomBytes()`
- random-bytes
- random
- crypto
- pseudo-random-generator
Fast cryptographically safe Guid generator for Go
- go
- guid
- uuid
🏙 Night City - A dark colorscheme for Neovim with LSP support
Streaming-first technical indicators with a Rust core: native Python, Node.js and WebAssembly bindings plus a C ABI hub for C, C++, C#, Go, Java and R. 514 indicators, O(1) per-tick updates, no system dependencies. Drop-in TA-Lib replacement.
- algotrading
- backtesting
- bollinger-bands
- cryptocurrency
A rusty sdk for Algorand.
Paper vault for passwords and secrets
- cryptocurrency
- cryptography
- cybersecurity
- digital-asset-security
A full-featured Swift library for JOSE standards with first-class support for CryptoKit keys, providing JWS, JWT, SD-JWT, and JWE with signing, encryption, and JWK key management.
- jsonwebtoken
- jws
- jwt
- json-web-key
Elixir crypto library to encrypt/decrypt arbitrary binaries
Open-source crypto currency exchange software
A Bitcoin Script Interpreter and Debugger in Scala
Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schnorr, FROST, MuSig2, BIP-352 | 15+ platforms
- cryptography
- cuda
- riscv
- secp256k1
A multi-node blockchain indexer and GraphQL API
- bitcoin-cash
- blockchain
- indexer
- graphql
Useful crypto coins JavaScript libraries
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
Simple Polymorphic x86_64 Runtime Code Segment Cryptor
TCrypto is a simple and flexible PHP 5.3+ in-memory key-value storage library