|
Renaming of the opam package "mirage-crypto" to "crypto"
|
|
4
|
140
|
February 9, 2026
|
|
[ANN] Bytesrw 0.3.0 – The cryptographic edition
|
|
0
|
171
|
November 3, 2025
|
|
[ANN] mirage-crypto 0.11.3 (with more speed for elliptic curves) -- and the future roadmap of mirage-crypto
|
|
7
|
481
|
February 28, 2024
|
|
[ANN] maintenance releease mirage-crypto
|
|
0
|
344
|
September 19, 2023
|
|
[ANN[ awa-ssh release 0.3
|
|
0
|
511
|
June 21, 2023
|
|
Accelerating zk-SNARKs on FPGAs with Hardcaml
|
|
0
|
924
|
December 9, 2022
|
|
[Ask] Cookie Crypto
|
|
5
|
759
|
August 28, 2022
|
|
[ANN] bls12-381.3.0.0
|
|
0
|
2182
|
March 1, 2022
|
|
[ANN] elliptic curves - maintainable and verified (full stack, from primitives to TLS)
|
|
2
|
1216
|
August 24, 2021
|
|
[ANN] First release of awa-ssh
|
|
0
|
1582
|
January 7, 2021
|
|
Digital signatures in ocaml
|
|
2
|
916
|
April 30, 2020
|