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: about 1 month 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:

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