cryptol
by GaloisInc
Cryptol: The Language of Cryptography
AI summary
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
- stars
- 1.1K
- forks
- 123
- watching
- 58
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Crypto library
A Haskell library implementing cryptographic protocols for secure communication.
Onion router
A Haskell implementation of the Tor onion routing network protocol
Crypto library
A general-purpose cryptographic library providing a simple interface to various encryption algorithms and data structures.
Encryption library
An implementation of a simple encryption algorithm in Erlang.
Cryptography library
Small minimal examples of modern cryptographic techniques in Haskell
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Crypto implementation
A collection of basic cryptographic algorithms implemented from scratch in C.
Crypto library
A Haskell cryptographic library providing high-level and safe access to various cryptographic operations.
Crypto compiler
A compiler for a constant-time programming language used in cryptography
Network protocol simulator
A set of network stack examples in Haskell designed to test and demonstrate various network protocols.
dedis/kyber646
Crypto library
A comprehensive cryptographic toolkit for Go developers
Cryptography compiler
A language and compiler for writing high-assurance and high-speed cryptography
Secure computation toolkit
A suite of libraries providing tools and utilities for secure multi-party computation
Crypto library bindings
Bindings to a cryptographic library for implementing secure schemes in a Scheme programming language.
Crypto library
Provides cryptographic primitives for .NET Core
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cryptol.
