Similar projects and alternatives to cryptol
AST, parser, pretty-printer for Core Erlang source code.
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 suite library for name resolution
Bricks is a lazy functional language based on Nix. (by chris-martin)
A parser for Python 2.x and 3.x written in Haskell
Lenses for toml-parser
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.
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.
Parser and pretty-printer for the Rust language
cryptol reviews and mentions
We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.
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.