A Crypto-specific Programming Language

Welcome to Crypto. We hope you enjoy your visit.

You're currently viewing our forum as a guest. This means you are limited to certain areas of the board and there are some features you can't use. If you join our community, you'll be able to access member-only sections, and use many member-only features such as customizing your profile, sending personal messages, and voting in polls. Registration is simple, fast, and completely free.

Join our community!

If you're already a member please log in to your account to access all of our features:

A Crypto-specific Programming Language
Topic Started: Oct 25 2006, 06:46 PM (207 Views)
rot13	Oct 25 2006, 06:46 PM Post #1
Elite member Posts: 306 Group: Trusted Member Member #14 Joined: September 29, 2005	I just came upon a language called Cryptol that is a domain-specific language for expressing cryptographic algorithms. It might look a little funny if you haven't used languages like OCaml, SML or haskell, but it looks like it could be fun. Unfortunately it doesn't seem like you can download the implementation.



Donald	Oct 26 2006, 04:00 AM Post #2
Elite member Posts: 454 Group: Trusted Member Member #8 Joined: September 2, 2005	Wow, interesting! thanks for the link!



1 user reading this topic (1 Guest and 0 Anonymous)


« Previous Topic · General · Next Topic »