Cryptol
Cryptol: The Language of Cryptography
CryptographyOpen Source SecurityOpen Source
About
This version of Cryptol is (C) 2013-2024 Galois, Inc., and distributed under a standard, three-clause BSD license. Please see the file LICENSE, distributed with this software, for specific terms and conditions.
Open Source Health
- Stars
- 1,221
- Forks
- 130
- License
- BSD-3-Clause
- Last commit
- 1 months ago
Haskell
Alternatives to Cryptol
EvilnoVNCby Joel GMReady to go Phishing Platform
Symbioteby Hasan FirnasYour target's phone's front and back cameras📸 can be accessed by sending a link🔗.
Reverse Skillby ZhaoReverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code, Kiro, Cursor, Cline, and other AI coding clients 逆向/渗透/安全技能路由包 - AI 自动路由 +…
PwnFoxby YesWeHackPwnFox is a Firefox/Burp extension that provide usefull tools for your security audit.
Htshellsby Eldar MarcussenSelf contained htaccess shells and attacks
Resources & Links
Related Categories
Using Cryptol?
Track its cost next to the rest of your stack and get a reminder before it renews.
Add to my stackVendor
Galois, Inc.
Open-source project on GitHub: Cryptol