#
verified
Here are 3 public repositories matching this topic...
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
-
Updated
Apr 23, 2021 - C
My variant of the C Template Library
c
set
list
tree
stack
queue
algorithms
iterator
priority-queue
hashmap
header-only
stl-containers
rbtree
verified
hashtable
deque
algorithms-and-data-structures
-
Updated
Mar 14, 2024 - C
Improve this page
Add a description, image, and links to the verified topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verified topic, visit your repo's landing page and select "manage topics."