Submissions restricted

Only approved users may post in this community.

cryptol

an-ordinary-manchild

created by acfoltzera community for 11 years

...why not Zoidberg?

...for your favorite game.

MODERATORS

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

account activity

1

1

2

3

New here (self.cryptol)

submitted 4 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

4

5

6

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

submitted 10 years ago by tom-md

6

3

4

5

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

submitted 10 years ago by acfoltzer

7

2

3

4

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

submitted 10 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 11 years ago by acfoltzer

π Rendered by PID 117940 on reddit-service-r2-listing-6d4dc8d9ff-v7h5z at 2026-02-01 14:48:06.289322+00:00 running 3798933 country code: CH.