Cryptol Alternatives
Similar projects and alternatives to cryptol
-
-
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.
-
-
-
snaplet-lss
Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
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.
cryptol discussion
cryptol reviews and mentions
We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.
Stats
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.