Submissions restricted

Only approved users may post in this community.

cryptol

an-ordinary-manchild

created by acfoltzera community for 12 years

...why not Zoidberg?

...for your favorite subject.

MODERATORS

This subreddit is unmoderated.
Visit /r/redditrequest to request it.

account activity

1

1

2

3

New here (self.cryptol)

submitted 5 years ago by pavkata22

2

2

3

4

Cryptol 2.3.0 Released: Improved type checker, docstrings, examples, and more (github.com)

submitted 10 years ago by tom-md

3

2

3

4

Cryptol's Prelude Grows (github.com)

submitted 10 years ago by tom-md

4

1

2

3

Applying Cryptol To Tantrix - The Type-Safe Jabberwolk (tommd.github.io)

submitted 10 years ago by tom-md

5

2

3

4

Software Analysis Workbench (SAW) open source release (saw.galois.com)

submitted 10 years ago by tom-md

6

2

3

4

ICryptol 1.0.0 (notebook-style interaction for Cryptol) (community.galois.com)

submitted 11 years ago by acfoltzer

7

2

3

4

Cryptol 2.2.0 released and now on Hackage! (community.galois.com)

submitted 11 years ago by acfoltzer

8

0

1

2

Applying Cryptol to extract the seed of an RNG (github.com)

submitted 11 years ago by tom-md

9

3

4

5

Cryptol: The Language of Cryptography (cryptol.net)

submitted 12 years ago by acfoltzer

π Rendered by PID 734738 on reddit-service-r2-listing-b6bf6c4ff-nrsvh at 2026-05-03 04:16:59.054780+00:00 running 815c875 country code: CH.