idris2-tls
A portable idris2 implementation of TLS (by pufferffish)
siphash-cryptol
Cryptol specification of the SipHash function (by davidlazar)
| idris2-tls | siphash-cryptol | |
|---|---|---|
| 2 | 1 | |
| 28 | 3 | |
| - | - | |
| 3.4 | 10.0 | |
| 3 months ago | over 9 years ago | |
| Idris | ||
| ISC 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.
siphash-cryptol
Posts with mentions or reviews of siphash-cryptol.
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 siphash-cryptol you can also consider the following projects:
s2n - An implementation of the TLS/SSL protocols
OpenSSL - TLS/SSL and crypto library
sslyze - Fast and powerful SSL/TLS scanning library.