ujamjar/hardcaml-affirm 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

ujamjar/hardcaml-affirm

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/ujamjar/hardcaml-affirm)

Close

ujamjar / hardcaml-affirmView on GitHubMore

• External links
• Readme badge

Verification tools for HardCaml

☆10Jun 13, 2018Updated 7 years ago

Alternatives and similar repositories for hardcaml-affirm

Users that are interested in hardcaml-affirm are comparing it to the libraries listed below

• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• ujamjar / hardcaml-riscv

  View on GitHub
  RISC-V instruction set CPUs in HardCaml
  ☆15Sep 20, 2016Updated 9 years ago
• djs55 / ocaml-spdy

  View on GitHub
  Implementation of the SPDY protocol in ocaml
  ☆14Oct 2, 2011Updated 14 years ago
• AngryLawyer / commonjs_of_ocaml

  View on GitHub
  Import and export CommonJS modules in js_of_ocaml
  ☆12May 19, 2016Updated 9 years ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• let-def / sturgeon

  View on GitHub
  A toolkit for communicating with Emacs from OCaml
  ☆19Jan 24, 2020Updated 6 years ago
• mirleft / libnqsb-tls

  View on GitHub
  OCaml-TLS exposed to C
  ☆23Feb 27, 2018Updated 8 years ago
• akiss / akiss

  View on GitHub
  Tool for checking trace equivalence for security protocols
  ☆17Oct 27, 2020Updated 5 years ago
• fxfactorial / ocaml-plist

  View on GitHub
  Create, parse Apple Plists, plays nicely with Yojson
  ☆10Jan 19, 2017Updated 9 years ago
• ujamjar / hardcaml-llvmsim

  View on GitHub
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13May 21, 2017Updated 8 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 5 months ago
• hannesm / ocaml-hkdf

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

  View on GitHub
  ☆10Nov 23, 2015Updated 10 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• Khady / slack-backup

  View on GitHub
  OCaml cli tool to backup discussions (channels and conversations) from slack
  ☆10May 22, 2016Updated 9 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• fxfactorial / ocaml-libssh

  View on GitHub
  OCaml bindings to libssh
  ☆14Jan 3, 2016Updated 10 years ago
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆16Mar 10, 2021Updated 4 years ago
• kayceesrk / riscv-ocaml-cross

  View on GitHub
  RISC-V OCaml cross compiler
  ☆14Feb 25, 2019Updated 7 years ago
• haesbaert / charrua-unix

  View on GitHub
  A DHCP server for UNIX systems based on charrua-core.
  ☆11May 24, 2017Updated 8 years ago
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• let-def / inuit

  View on GitHub
  Make interactive text-oriented user-interfaces for OCaml
  ☆23Feb 5, 2020Updated 6 years ago
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 years ago
• pqwy / ocb-stubblr

  View on GitHub
  Ocamlbuild helpers for C stubs
  ☆11Oct 24, 2018Updated 7 years ago
• rand00 / conntest

  View on GitHub
  MirageOS unikernel to test networking
  ☆16Apr 3, 2023Updated 2 years ago
• bobatkey / playtime

  View on GitHub
  An OCaml EDSL for describing and solving strategic games
  ☆17Sep 10, 2023Updated 2 years ago
• samoht / loops-mirage

  View on GitHub
  Tutoriel MirageOS pour la 8e journée LoOPS
  ☆12Dec 17, 2015Updated 10 years ago
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• thelema / odb

  View on GitHub
  Oasis-db downloader and installer
  ☆32Nov 7, 2012Updated 13 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• bashi-bazouk / Caravan

  View on GitHub
  ZMQ API bindings for OCaml
  ☆14Sep 20, 2011Updated 14 years ago
• freehck / ocs

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

  View on GitHub
  Configurable Cloudy Batch Scheduler
  ☆16Sep 27, 2017Updated 8 years ago
• dinosaure / sirodepac

  View on GitHub
  Pack file encoder/decoder in OCaml
  ☆12Jun 2, 2017Updated 8 years ago
• mlin / should.ml

  View on GitHub
  Literate assertions for OCaml
  ☆18Oct 3, 2019Updated 6 years ago
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 9 months ago
• pqwy / ocaml-papi

  View on GitHub
  Performance Application Programming Interface for OCaml
  ☆15Oct 25, 2022Updated 3 years ago
• lcdunstan / reqtrace

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 10 years ago