Alternatives and similar repositories for fiat-shamir-zkp

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

• Leonidas-from-XIV / nosetup

  View on GitHub
  An automatic require loader for OCaml toplevels
  ☆19Feb 27, 2019Updated 6 years ago
• rizo / io

  View on GitHub
  Simple, secure and composable I/O abstraction for construction of efficient computation workflows.
  ☆10Jun 11, 2016Updated 9 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• rizo / iter

  View on GitHub
  Efficient functorized iterators for OCaml.
  ☆13Feb 23, 2018Updated 7 years ago
• cryptosense / key-parsers

  View on GitHub
  OCaml parsers for multiple key formats
  ☆15Aug 1, 2024Updated last year
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• mransan / raft

  View on GitHub
  Implementation of the Raft protocol in OCaml
  ☆20Mar 8, 2017Updated 8 years ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years ago
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆10Sep 13, 2016Updated 9 years ago
• kayceesrk / riscv-ocaml-cross

  View on GitHub
  RISC-V OCaml cross compiler
  ☆14Feb 25, 2019Updated 6 years ago
• hannesm / tlsclient

  View on GitHub
  TLS client program
  ☆11Jun 10, 2020Updated 5 years ago
• rvantonder / hack-parallel-example

  View on GitHub
  An example project to demonstrate https://github.com/rvantonder/hack-parallel
  ☆13May 18, 2020Updated 5 years ago
• sternenseemann / torcontrol

  View on GitHub
  OCaml client library for the Tor control port [abandoned]
  ☆10May 1, 2017Updated 8 years ago
• talex5 / qubes-test-mirage

  View on GitHub
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Mar 26, 2020Updated 5 years ago
• kkazuo / horned_worm

  View on GitHub
  An easy functional Web app micro framework.
  ☆24Nov 5, 2020Updated 5 years ago
• mfp / ld.ocaml

  View on GitHub
  Dynamic loader for OCaml
  ☆14Dec 11, 2009Updated 16 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 3 years ago
• nosman / Ocamlapi

  View on GitHub
  Path-based http request routing in Ocaml.
  ☆19Jan 16, 2020Updated 6 years ago
• alugocp / crypts-and-camls

  View on GitHub
  ☆14Dec 28, 2021Updated 4 years ago
• reynir / ocaml-ssh-agent

  View on GitHub
  ☆16Jan 16, 2025Updated last year
• freehck / ocs

  View on GitHub
  OCS: a mirror of the ocaml OCS scheme interpreter
  ☆12Feb 16, 2017Updated 9 years ago
• sternenseemann / logbook

  View on GitHub
  A tool for keeping a personal log
  ☆16Jan 1, 2025Updated last year
• mirage / mirage-xen

  View on GitHub
  Xen core platform libraries for MirageOS
  ☆18Feb 5, 2025Updated last year
• rizo / streaming-zoo

  View on GitHub
  Implementations of common streaming abstractions in OCaml.
  ☆12Jun 28, 2016Updated 9 years ago
• abeaumont / ocaml-scrypt-kdf

  View on GitHub
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Aug 5, 2021Updated 4 years ago
• me-box / zestdb

  View on GitHub
  ZestDB
  ☆18Nov 26, 2018Updated 7 years ago
• sacerdot / ocaml-http

  View on GitHub
  ☆15Dec 27, 2018Updated 7 years ago
• isakmp / ike

  View on GitHub
  Pure OCaml IKEv2
  ☆14Nov 15, 2016Updated 9 years ago
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• dbuenzli / omod

  View on GitHub
  Lookup and load installed OCaml modules
  ☆17Jul 29, 2025Updated 6 months ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆12Sep 7, 2016Updated 9 years ago
• bramford / 2d-exploration-game

  View on GitHub
  A simple 2d exploration game written in OCaml
  ☆16Oct 2, 2018Updated 7 years ago
• mirage / mirage-handbook

  View on GitHub
  WIP Handbook for MirageOS
  ☆14Mar 15, 2018Updated 7 years ago
• kit-ty-kate / ocamldap

  View on GitHub
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆15Dec 8, 2025Updated 2 months ago
• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago