Similar projects and alternatives to ConCert
A specification language for cryptography primitives.
NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better ConCert alternative or higher similarity.
Posts where ConCert has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-06-23.
Rustlang Cryptography Interest Group & Formal Verification Sync-up Call 2
reddit.com/r/rust | 2021-06-23
Bas Spitter will be speaking on Hacspec and ConCert
Basic ConCert repo stats
7 days ago
AU-COBRA/ConCert is an open source project licensed under MIT License which is an OSI approved license.