cryptol
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Cryptol: The Language of Cryptography
1k stars
57 watching
126 forks
Language: Haskell
last commit: 4 days 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 | 272 |
 gnutls/nettle | A cryptographic library that provides a simple interface to low-level encryption algorithms and their variants. | 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 | 847 |
 b-con/crypto-algorithms | Public domain implementations of basic cryptography algorithms for educational and pragmatic purposes. | 1,832 |
 raaz-crypto/raaz | A Haskell cryptographic library providing high-level and safe access to various cryptographic operations. | 68 |
 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 | 643 |
 jasmin-lang/jasmin | A language and compiler for writing high-assurance and high-speed cryptography | 269 |
| galoisinc/swanky | A suite of libraries providing tools and utilities for secure multi-party computation | 274 |
 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 | 214 |