Cryptol Alternatives

Similar projects and alternatives to cryptol

• CoreErlang

  - 27 0.0 Haskell cryptol VS CoreErlang

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

• alga

  - 4 0.0 Haskell cryptol VS alga

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• haskell-names

  - 51 0.0 Haskell cryptol VS haskell-names

  Haskell suite library for name resolution

  

• bricks

  - 6 0.0 Haskell cryptol VS bricks

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

• language-python

  - 150 0.0 Python cryptol VS language-python

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

• lens-toml-parser

  - 1 0.0 Haskell cryptol VS lens-toml-parser

  Lenses for toml-parser

  

• language-javascript

  - 152 0.0 Haskell cryptol VS language-javascript

  Parser for JavaScript, in Haskell

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  

• tal

  - 131 0.0 Haskell cryptol VS tal

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

• snaplet-lss

  - 0 0.0 Haskell 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.

• language-rust

  - 78 0.0 Haskell cryptol VS language-rust

  Parser and pretty-printer for the Rust language