|
[ANN] Bytesrw 0.3.0 – The cryptographic edition
|
|
0
|
157
|
November 3, 2025
|
|
[ANN] mirage-crypto 0.11.3 (with more speed for elliptic curves) -- and the future roadmap of mirage-crypto
|
|
7
|
472
|
February 28, 2024
|
|
[ANN] maintenance releease mirage-crypto
|
|
0
|
341
|
September 19, 2023
|
|
[ANN[ awa-ssh release 0.3
|
|
0
|
509
|
June 21, 2023
|
|
Accelerating zk-SNARKs on FPGAs with Hardcaml
|
|
0
|
919
|
December 9, 2022
|
|
[Ask] Cookie Crypto
|
|
5
|
758
|
August 28, 2022
|
|
[ANN] bls12-381.3.0.0
|
|
0
|
2181
|
March 1, 2022
|
|
[ANN] elliptic curves - maintainable and verified (full stack, from primitives to TLS)
|
|
2
|
1208
|
August 24, 2021
|
|
[ANN] First release of awa-ssh
|
|
0
|
1581
|
January 7, 2021
|
|
Digital signatures in ocaml
|
|
2
|
916
|
April 30, 2020
|