A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography
47,133 repositories indexed
73–77 of 77 · Most stars
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
The dumb OCaml key-value store
Fully functional implementation of FCNNs with Back Prop
A PlantUML to XML converter
An HTML documentation generator for Rocq source files