awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
GaloisInc avatar

GaloisInc/cryptol

0
View on GitHub↗
1,210 stars·129 forks·Haskell·BSD-3-Clause·8 viewsgaloisinc.github.io/cryptol/master/RefMan.html↗

Cryptol

Cryptol: The Language of Cryptography

Features

  • Cryptographic Libraries - Domain-specific language for specifying cryptographic algorithms.

Star history

Star history chart for galoisinc/cryptolStar history chart for galoisinc/cryptol

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to Cryptol

Similar open-source projects, ranked by how many features they share with Cryptol.
  • adamcaudill/libsodium-netA

    adamcaudill/libsodium-net

    0View on GitHub↗
    View on GitHub↗0
  • apache/incubator-milagro-crypto-capache avatar

    apache/incubator-milagro-crypto-c

    39View on GitHub↗

    Apache milagro (Incubating)

    C
    View on GitHub↗39
  • awslabs/s2nawslabs avatar

    awslabs/s2n

    4,736View on GitHub↗

    s2n is a C-based security library and TLS protocol implementation that serves as a secure network transport layer. It provides a modular cryptographic backend interface to encrypt data streams, manage handshakes, and handle mutual authentication between peers. The project focuses on post-quantum cryptography, integrating quantum-resistant key exchange and digital signatures to protect connections against future computing threats. It distinguishes itself through security hardening measures, such as memory-locked secret storage to prevent keys from being swapped to disk and timing-attack mitiga

    C
    View on GitHub↗4,736
  • aarnott/pclcryptoAArnott avatar

    AArnott/PCLCrypto

    225View on GitHub↗

    Platform crypto for portable libraries

    C#
    View on GitHub↗225
See all 30 alternatives to Cryptol→

Frequently asked questions

What does galoisinc/cryptol do?

Cryptol: The Language of Cryptography

What are the main features of galoisinc/cryptol?

The main features of galoisinc/cryptol are: Cryptographic Libraries.

What are some open-source alternatives to galoisinc/cryptol?

Open-source alternatives to galoisinc/cryptol include: adamcaudill/libsodium-net. apache/incubator-milagro-crypto-c — Apache milagro (Incubating). awslabs/s2n — s2n is a C-based security library and TLS protocol implementation that serves as a secure network transport layer. It… b-con/crypto-algorithms — Basic implementations of standard cryptography algorithms, like AES and SHA-1. bitbeans/streamcryptor — Stream encryption & decryption with libsodium and protobuf. aarnott/pclcrypto — Platform crypto for portable libraries.