idris2-tls
A portable idris2 implementation of TLS (by pufferffish)
simon-and-speck
Cryptol specification of the Simon and Speck block ciphers (by davidlazar)
| idris2-tls | simon-and-speck | |
|---|---|---|
| 2 | 1 | |
| 28 | 1 | |
| - | - | |
| 3.4 | 0.0 | |
| 3 months ago | almost 2 years ago | |
| Idris | ||
| ISC License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris2-tls
Posts with mentions or reviews of idris2-tls.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-24.
simon-and-speck
Posts with mentions or reviews of simon-and-speck.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-24.
What are some alternatives?
When comparing idris2-tls and simon-and-speck you can also consider the following projects:
s2n - An implementation of the TLS/SSL protocols
siphash-cryptol - Cryptol specification of the SipHash function
OpenSSL - TLS/SSL and crypto library
sslyze - Fast and powerful SSL/TLS scanning library.