examachine/fiat-shamir-zkp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

examachine/fiat-shamir-zkp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/examachine/fiat-shamir-zkp)

Close

examachine / fiat-shamir-zkpView on GitHubMore

• External links
• Readme badge

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol

☆12Feb 7, 2017Updated 9 years ago

Alternatives and similar repositories for fiat-shamir-zkp

Users that are interested in fiat-shamir-zkp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• rvantonder / hack-parallel-example

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

  View on GitHub
  A jabber logger and web interface
  ☆12Apr 17, 2026Updated 2 months ago
• zshipko / resp

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

  View on GitHub
  TLS client program
  ☆11Jun 10, 2020Updated 6 years ago
• Leonidas-from-XIV / nosetup

  View on GitHub
  An automatic require loader for OCaml toplevels
  ☆20Feb 27, 2019Updated 7 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• rizo / io

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

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 7 years ago
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years ago
• hannesm / ocaml-hkdf

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

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

  View on GitHub
  Efficient functorized iterators for OCaml.
  ☆14Feb 23, 2018Updated 8 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆20Mar 10, 2022Updated 4 years ago
• verbosemode / syslogd-mirage

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

  View on GitHub
  Implementation of the Raft protocol in OCaml
  ☆20Mar 8, 2017Updated 9 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• sternenseemann / torcontrol

  View on GitHub
  OCaml client library for the Tor control port [abandoned]
  ☆10May 1, 2017Updated 9 years ago
• arlencox / SETr

  View on GitHub
  Abstract domain library for sets
  ☆10Feb 23, 2023Updated 3 years ago
• kayceesrk / riscv-ocaml-cross

  View on GitHub
  RISC-V OCaml cross compiler
  ☆14Feb 25, 2019Updated 7 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.
  ☆11Sep 13, 2016Updated 9 years ago
• talex5 / qubes-test-mirage

  View on GitHub
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Mar 26, 2020Updated 6 years ago
• sternenseemann / logbook

  View on GitHub
  A tool for keeping a personal log
  ☆16Jan 1, 2025Updated last year
• reynir / ocaml-ssh-agent

  View on GitHub
  ☆16Jan 16, 2025Updated last year
• sacerdot / ocaml-http

  View on GitHub
  ☆15Dec 27, 2018Updated 7 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• mirage / mirage-xen

  View on GitHub
  Xen core platform libraries for MirageOS
  ☆18Feb 5, 2025Updated last year
• kkazuo / horned_worm

  View on GitHub
  An easy functional Web app micro framework.
  ☆24Nov 5, 2020Updated 5 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
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• mfp / ld.ocaml

  View on GitHub
  Dynamic loader for OCaml
  ☆14Dec 11, 2009Updated 16 years ago
• dbuenzli / omod

  View on GitHub
  Lookup and load installed OCaml modules
  ☆17Updated this week
• freehck / ocs

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

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 8 years ago
• nosman / Ocamlapi

  View on GitHub
  Path-based http request routing in Ocaml.
  ☆19Jan 16, 2020Updated 6 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• kit-ty-kate / ocamldap

  View on GitHub
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆15Dec 8, 2025Updated 6 months ago
• ocaml-ppx / ppx_getenv

  View on GitHub
  A sample syntax extension using OCaml's new extension points API.
  ☆25Jul 5, 2024Updated last year
• alugocp / crypts-and-camls

  View on GitHub
  ☆14Dec 28, 2021Updated 4 years ago
• mirage / mirage-handbook

  View on GitHub
  WIP Handbook for MirageOS
  ☆14Mar 15, 2018Updated 8 years ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆13Sep 7, 2016Updated 9 years ago
• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago
• ocaml-opam / ocaml-mccs

  View on GitHub
  Stripped-down version of mccs with OCaml bindings
  ☆24Jan 9, 2025Updated last year