The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography. (by weaversa)

Cryptol-course Alternatives

Similar projects and alternatives to cryptol-course

  • infer

    cryptol-course VS infer

    A static analyzer for Java, C, C++, and Objective-C

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

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-course alternative or higher similarity.

cryptol-course reviews and mentions

Posts with mentions or reviews of cryptol-course. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-14.


Basic cryptol-course repo stats
about 2 months ago

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

Delete the most useless function ever: context switching.
Zigi monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack! Plus it reduces cycle time by up to 75%.