camlunity/ocaml-quickcheck 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

camlunity/ocaml-quickcheck

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/camlunity/ocaml-quickcheck)

Close

camlunity / ocaml-quickcheckView on GitHubMore

• External links
• Readme badge

OCaml QuickCheck

☆22Oct 27, 2015Updated 10 years ago

Alternatives and similar repositories for ocaml-quickcheck

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

• thelema / ocaml-community

  View on GitHub
  Deprecated; use https://github.com/ocaml/ocaml instead
  ☆19Feb 1, 2013Updated 13 years ago
• thelema / odb

  View on GitHub
  Oasis-db downloader and installer
  ☆32Nov 7, 2012Updated 13 years ago
• bmeurer / ocamlnat

  View on GitHub
  Native toplevel for the OCaml language
  ☆32May 5, 2012Updated 13 years ago
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆14Apr 6, 2026Updated 3 weeks ago
• jacquev6 / JsOfOCairo

  View on GitHub
  OCaml library to reuse Cairo-based drawing code in browser
  ☆18May 2, 2019Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• MyLifeLabs / nproc

  View on GitHub
  Process pools for OCaml
  ☆30Aug 28, 2013Updated 12 years ago
• cedlemo / OCaml-GObject-Introspection

  View on GitHub
  OCaml bindings to GObject-Introspection based on OCaml-Ctypes.
  ☆17Mar 31, 2022Updated 4 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆18Apr 6, 2026Updated 3 weeks ago
• ashima / webgl-engine

  View on GitHub
  Ashima's Layered WebGL API wrapper and helper functions
  ☆19Mar 8, 2013Updated 13 years ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• yzhs / ocamlllvm

  View on GitHub
  A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…
  ☆55Mar 25, 2012Updated 14 years ago
• hannesm / ocaml-hkdf

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

  View on GitHub
  Compat result type
  ☆13Feb 22, 2020Updated 6 years ago
• yallop / ocaml-pb-plugin

  View on GitHub
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Nov 30, 2019Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• ygrek / opam-bundle

  View on GitHub
  small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2
  ☆18Aug 8, 2015Updated 10 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆12Dec 14, 2023Updated 2 years ago
• robur-coop / u2f

  View on GitHub
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Sep 2, 2024Updated last year
• mcandre / cluckcheck

  View on GitHub
  a Chicken Scheme port of the QuickCheck unit test framework
  ☆13May 9, 2020Updated 5 years ago
• ujamjar / hardcaml-affirm

  View on GitHub
  Verification tools for HardCaml
  ☆10Jun 13, 2018Updated 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
• Khady / slack-backup

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

  View on GitHub
  OCaml client access to Amazon services, such as S3, EC2, FPS, etc.
  ☆14Sep 20, 2016Updated 9 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• david-engelmann / atproto

  View on GitHub
  OCaml-based AT Protocol tools
  ☆13Oct 13, 2023Updated 2 years ago
• talex5 / irmin-indexeddb

  View on GitHub
  An Irmin backend for a web browser's IndexedDB store
  ☆33Jan 2, 2025Updated last year
• nojb / ocaml-dht

  View on GitHub
  OCaml bindings for jech/dht
  ☆24Jun 16, 2020Updated 5 years ago
• let-def / goo

  View on GitHub
  Cross-runtime object interface generation
  ☆35Oct 28, 2021Updated 4 years ago
• rgrinberg / stringext

  View on GitHub
  Extra string functions for OCaml
  ☆21Jul 5, 2025Updated 9 months 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
• cmangla / altera-sockit-hardcaml

  View on GitHub
  ☆10Nov 23, 2015Updated 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
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• talex5 / spec-vchan

  View on GitHub
  A TLA+ specification for the Xen vchan protocol
  ☆15Jan 7, 2026Updated 3 months ago
• bobatkey / playtime

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

  View on GitHub
  Optional compilation for OCaml
  ☆67Apr 6, 2026Updated 3 weeks ago
• avsm / ocaml-devcontainers

  View on GitHub
  VSCode devcontainers for OCaml
  ☆17Jul 25, 2023Updated 2 years ago
• robur-coop / ocaml-letsencrypt

  View on GitHub
  ☆39Apr 10, 2026Updated 3 weeks ago
• profmaad / bitcaml

  View on GitHub
  Bitcoin node implementation in OCaml
  ☆13Jan 23, 2026Updated 3 months ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 7 months ago