zurihac-crypto
Cryptography library
Small minimal examples of modern cryptographic techniques in Haskell
Small minimal examples of modern cryptographic techniques in Haskell
79 stars
7 watching
4 forks
Language: Haskell
last commit: almost 5 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,136 |
 haskell-cryptography/cacophony | A Haskell library implementing cryptographic protocols for secure communication. | 96 |
 raaz-crypto/raaz | A Haskell cryptographic library providing high-level and safe access to various cryptographic operations. | 68 |
 sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 302 |
 sgl0v/scrypto | Provides a Swift interface to CommonCrypto routines for cryptographic tasks | 38 |
 winterland1989/magic-haskell | A collection of Haskell examples and tutorials covering various programming concepts | 293 |
 keichan34/tea_crypto_erl | An implementation of a simple encryption algorithm in Erlang. | 0 |
| sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 535 |
 raviksharma/bartosz-basics-of-haskell | A collection of exercises and code examples illustrating the basics of Haskell programming | 488 |
 denisshevchenko/ohaskell.guide | A comprehensive guide to the Haskell programming language | 261 |
 sketchytech/swiftography | A Swift repository for cryptographic algorithms and font obfuscation using the CryptoJS library | 8 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 kisom/gocrypto | Example code for symmetric encryption and decryption in Go | 153 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 b-con/crypto-algorithms | Public domain implementations of basic cryptography algorithms for educational and pragmatic purposes. | 1,832 |