cryptol

Cryptol: The Language of Cryptography (by GaloisInc)

Cryptol Alternatives

Similar projects and alternatives to cryptol

  1. CoreErlang

    AST, parser, pretty-printer for Core Erlang source code.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. haskell-names

    Haskell suite library for name resolution

  4. alga

    0 cryptol VS alga
  5. tal

    0 cryptol VS tal

    An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  6. snaplet-lss

    Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.

  7. language-python

    A parser for Python 2.x and 3.x written in Haskell

  8. language-javascript

    Parser for JavaScript, in Haskell

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. bricks

    0 cryptol VS bricks

    Bricks is a lazy functional language based on Nix. (by chris-martin)

  11. language-rust

    Parser and pretty-printer for the Rust language

  12. tempi

    0 cryptol VS tempi

    A Haskell library for representing musical tempi, with a basic representation consisting of three orthogonal components (frequency,time,count of elapsed cycles/beats). Basic purpose is to allow multiple Haskell-based live coding languages to share a common representation of tempo.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better cryptol alternative or higher similarity.

cryptol discussion

Log in or Post with

cryptol reviews and mentions

Posts with mentions or reviews of cryptol. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.

Stats

Basic cryptol repo stats
0
1,156
9.5
4 days ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?