cryptol

Cryptol: The Language of Cryptography (by GaloisInc)
Review Language
Source Code
galoisinc.github.io
Suggest alternative
Edit details
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
featured

Cryptol Alternatives

Similar projects and alternatives to cryptol

GaloisInc
cryptol

  1. CoreErlang

    0 cryptol VS 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

    0 cryptol VS 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

    0 cryptol VS 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

    0 cryptol VS language-python

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

  8. language-javascript

    0 cryptol VS 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

    0 cryptol VS 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.
Suggest an alternative to cryptol

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

GaloisInc/cryptol is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of cryptol is Haskell.

Popular Comparisons

  1. cryptol VS CoreErlang
  2. cryptol VS haskell-names
  3. cryptol VS alga
  4. cryptol VS tal
  5. cryptol VS snaplet-lss
  6. cryptol VS language-python
  7. cryptol VS language-javascript
  8. cryptol VS bricks
  9. cryptol VS language-rust
  10. cryptol VS tempi

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?

Loading...