awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Cryptol | Awesome Repository

GaloisInccryptol

0

View on GitHub↗

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

Cryptol

Features

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

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

Cryptol: The Language of Cryptography