cryptol
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Cryptol: The Language of Cryptography
1k stars
58 watching
123 forks
Language: Haskell
last commit: 2 months ago
Linked from 1 awesome list
sobolevn/awesome-cryptographyRelated projects:
| Repository | Description | Stars |
|---|---|---|
 haskell-cryptography/cacophony | A Haskell library implementing cryptographic protocols for secure communication. | 96 |
| galoisinc/haskell-tor | A Haskell implementation of the Tor onion routing network protocol | 273 |
 gnutls/nettle | A general-purpose cryptographic library providing a simple interface to various encryption algorithms and data structures. | 61 |
 keichan34/tea_crypto_erl | An implementation of a simple encryption algorithm in Erlang. | 0 |
 sdiehl/zurihac-crypto | Small minimal examples of modern cryptographic techniques in Haskell | 79 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 b-con/crypto-algorithms | A collection of basic cryptographic algorithms implemented from scratch in C. | 1,847 |
 raaz-crypto/raaz | A Haskell cryptographic library providing high-level and safe access to various cryptographic operations. | 67 |
 plsyssec/fact | A compiler for a constant-time programming language used in cryptography | 198 |
| galoisinc/hans | A set of network stack examples in Haskell designed to test and demonstrate various network protocols. | 115 |
 dedis/kyber | A comprehensive cryptographic toolkit for Go developers | 646 |
 jasmin-lang/jasmin | A language and compiler for writing high-assurance and high-speed cryptography | 275 |
| galoisinc/swanky | A suite of libraries providing tools and utilities for secure multi-party computation | 283 |
 caolan/chicken-sodium | Bindings to a cryptographic library for implementing secure schemes in a Scheme programming language. | 4 |
 kmaragon/konscious.security.cryptography | Provides cryptographic primitives for .NET Core | 218 |