Alternatives and similar repositories for fiat-shamir-zkp

Users that are interested in fiat-shamir-zkp are comparing it to the libraries listed below

• mfp / ld.ocaml
  Dynamic loader for OCaml
  ☆14Updated 15 years ago
• ygrek / ocaml-ssb
  OCaml implementation of Secure Scuttlebutt protocol
  ☆12Updated 6 years ago
• ruhatch / mirage-btrees
  ☆11Updated 9 years ago
• pqwy / sendmsg
  POSIX sendmsg bindings for OCaml
  ☆16Updated 8 years ago
• skydeck / cmitomli
  Convert a cmi file back to an mli interface
  ☆14Updated 12 years ago
• objmagic / LR
  explore different techniques to generate LR(k) parsing code
  ☆14Updated 9 years ago
• inhabitedtype / jsonaf
  ☆16Updated 4 years ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• barko / brr-eg
  experiments with Brr/Note
  ☆13Updated 3 years ago
• burgerdev / ocaml-rfc7748
  Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)
  ☆11Updated 4 years ago
• dbuenzli / sexpm
  s-expression codecs and updates for OCaml
  ☆12Updated 8 years ago
• profmaad / bitcaml
  Bitcoin node implementation in OCaml
  ☆14Updated 8 years ago
• dbuenzli / uucd
  Unicode character database decoder for OCaml
  ☆17Updated 4 months ago
• abeaumont / ocaml-pbkdf
  Password based key derivation functions from PKCS#5, RFC 2898
  ☆21Updated last year
• cfcs / passmenage
  Basic password manager library and command-line application in OCaml
  ☆12Updated 7 years ago
• Chris00 / ocaml-bwrap
  Use Bubblewrap to sandbox executables
  ☆12Updated 4 years ago
• jeffa5 / mirage-xmpp
  Implementation of XMPP for MirageOS
  ☆15Updated 6 years ago
• mato / flathead
  A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
  ☆10Updated 5 years ago
• huiyaozheng / Mirage-zmq
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11Updated 6 years ago
• rizo / streaming-zoo
  Implementations of common streaming abstractions in OCaml.
  ☆14Updated 9 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 3 years ago
• yurug / ocaml-crontab
  Interacting with cron from OCaml
  ☆14Updated 3 years ago
• Leonidas-from-XIV / nosetup
  An automatic require loader for OCaml toplevels
  ☆19Updated 6 years ago
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 5 months ago
• verbosemode / syslogd-mirage
  MirageOS Syslog Unikernel
  ☆11Updated 8 years ago
• janestreet / toplevel_expect_test
  Toplevel expectation test
  ☆17Updated last month
• pqwy / cpuid
  Detect CPU features
  ☆9Updated 6 years ago
• apatil / ocaml-vega-lite
  Complete, typesafe representation of Vega-Lite in OCaml
  ☆10Updated 7 years ago
• abeaumont / ocaml-scrypt-kdf
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Updated 3 years ago