cryptol

Cryptography specification language

An interpreter for a public standard language for specifying cryptographic algorithms

Cryptol: The Language of Cryptography

GitHub

1k stars
58 watching
123 forks
Language: Haskell
last commit: almost 2 years ago
Linked from 1 awesome list


Screenshot of GaloisInc/cryptol website

galoisinc.github.io/cryptol/master/RefMan.html

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
haskell-cryptography/cacophonyA Haskell library implementing cryptographic protocols for secure communication.96
galoisinc/haskell-torA Haskell implementation of the Tor onion routing network protocol273
gnutls/nettleA general-purpose cryptographic library providing a simple interface to various encryption algorithms and data structures.61
keichan34/tea_crypto_erlAn implementation of a simple encryption algorithm in Erlang.0
sdiehl/zurihac-cryptoSmall minimal examples of modern cryptographic techniques in Haskell79
haskell/parsecA parser combinator library designed to be industrial-strength and easy to use850
b-con/crypto-algorithmsA collection of basic cryptographic algorithms implemented from scratch in C.1,847
raaz-crypto/raazA Haskell cryptographic library providing high-level and safe access to various cryptographic operations.67
plsyssec/factA compiler for a constant-time programming language used in cryptography198
galoisinc/hansA set of network stack examples in Haskell designed to test and demonstrate various network protocols.115
dedis/kyberA comprehensive cryptographic toolkit for Go developers646
jasmin-lang/jasminA language and compiler for writing high-assurance and high-speed cryptography275
galoisinc/swankyA suite of libraries providing tools and utilities for secure multi-party computation283
caolan/chicken-sodiumBindings to a cryptographic library for implementing secure schemes in a Scheme programming language.4
kmaragon/konscious.security.cryptographyProvides cryptographic primitives for .NET Core218