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

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-examples)

Close

ujamjar / hardcaml-examplesView on GitHubMore

• External links
• Readme badge

HardCaml example designs

☆18Jun 13, 2018Updated 7 years ago

Alternatives and similar repositories for hardcaml-examples

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

• ujamjar / hardcaml-affirm

  View on GitHub
  Verification tools for HardCaml
  ☆10Jun 13, 2018Updated 7 years ago
• ujamjar / hardcaml-riscv

  View on GitHub
  RISC-V instruction set CPUs in HardCaml
  ☆15Sep 20, 2016Updated 9 years ago
• cmangla / altera-sockit-hardcaml

  View on GitHub
  ☆10Nov 23, 2015Updated 10 years ago
• chrismamo1 / ppx_netblob

  View on GitHub
  OCaml ppx to include binary data from a url as a string
  ☆14May 20, 2017Updated 8 years ago
• ujamjar / hardcaml-llvmsim

  View on GitHub
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13May 21, 2017Updated 8 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• dannywillems / ocaml-cordova-plugin-list

  View on GitHub
  List of bindings in OCaml to cordova plugins.
  ☆26Oct 21, 2016Updated 9 years ago
• inhabitedtype / ocaml-session

  View on GitHub
  A session manager for your everyday needs
  ☆43Sep 3, 2022Updated 3 years ago
• kayceesrk / irmin-datatypes

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

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

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

  View on GitHub
  File mapping
  ☆12Dec 14, 2023Updated 2 years ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• haesbaert / charrua-unix

  View on GitHub
  A DHCP server for UNIX systems based on charrua-core.
  ☆11May 24, 2017Updated 8 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
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• ocaml-doc / octavius

  View on GitHub
  ocamldoc comment syntax parser
  ☆20Apr 30, 2020Updated 5 years ago
• samoht / loops-mirage

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

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

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

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

  View on GitHub
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆34Jan 23, 2012Updated 14 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 6 months ago
• lcdunstan / reqtrace

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

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• hammerlab / coclobas

  View on GitHub
  Configurable Cloudy Batch Scheduler
  ☆16Sep 27, 2017Updated 8 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• cryptosense / multipart-form-data

  View on GitHub
  multipart/form-data (RFC2388) parser for OCaml
  ☆19Oct 2, 2020Updated 5 years ago
• ryanslade / nsq-ocaml

  View on GitHub
  OCaml client library for the NSQ messaging platform
  ☆13May 5, 2022Updated 3 years ago
• essdotteedot / sessions

  View on GitHub
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Jan 1, 2017Updated 9 years 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
• samoht / topkg-jbuilder

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

  View on GitHub
  Hardcaml Verification Tools
  ☆15Jan 15, 2026Updated 2 months ago
• nobrakal / asak

  View on GitHub
  Identifying similar OCaml codes
  ☆30Jul 30, 2024Updated last year
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• chetmurthy / ocaml-cppffigen

  View on GitHub
  C++ FFI Generator for Ocaml
  ☆38Feb 28, 2025Updated last year
• nojb / ocaml-bt

  View on GitHub
  OCaml BitTorrent library and client
  ☆42Sep 12, 2022Updated 3 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• janestreet / hardcaml_circuits

  View on GitHub
  Hardcaml Circuits
  ☆22Jan 15, 2026Updated 2 months ago
• mor1 / ocaml-tftp

  View on GitHub
  ☆18Mar 12, 2016Updated 10 years ago
• ujamjar / hardcaml-zinc

  View on GitHub
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆46Jan 5, 2020Updated 6 years ago
• realworldocaml / craml

  View on GitHub
  CRAM testing framework
  ☆22Sep 9, 2019Updated 6 years ago