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.
Sorting:
- Deprecated; use https://github.com/ocaml/ocaml instead☆19Feb 1, 2013Updated 13 years ago
- ☆15Oct 13, 2010Updated 15 years ago
- Native toplevel for the OCaml language☆32May 5, 2012Updated 14 years ago
- Benchmarking module for OCaml☆34Jan 31, 2025Updated last year
- Topological sort algorithm☆15Jul 10, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Oasis-db downloader and installer☆32Nov 7, 2012Updated 13 years ago
- OCaml based XMPP implementation☆15Oct 9, 2024Updated last year
- OCaml library to reuse Cairo-based drawing code in browser☆18May 2, 2019Updated 7 years ago
- OCaml bindings to GObject-Introspection based on OCaml-Ctypes.☆17Mar 31, 2022Updated 4 years ago
- Toplevel expectation test☆18Jul 10, 2026Updated last week
- Procord is a portable OCaml library to delegate tasks to other processes.☆27Sep 2, 2014Updated 11 years ago
- OCaml pattern-matching extended with regexps (unmaintained)☆23Oct 23, 2023Updated 2 years ago
- 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
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Compat result type☆13Feb 22, 2020Updated 6 years ago
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Nov 30, 2019Updated 6 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated last year
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆19Aug 8, 2015Updated 10 years ago
- MirageOS Syslog Unikernel☆11Oct 30, 2016Updated 9 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- an R-tree implementation in OCaml☆24Jul 31, 2023Updated 2 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A new Unicode library for OCaml☆34Jun 9, 2014Updated 12 years ago
- Optional compilation for OCaml☆68Jul 10, 2026Updated last week
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- A small OCaml library to randomly generate values☆30Oct 11, 2022Updated 3 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11May 24, 2017Updated 9 years ago
- OCaml based XMPP implementation☆26Dec 27, 2015Updated 10 years ago
- OCaml bindings for jech/dht☆25Jun 16, 2020Updated 6 years ago
- OCaml cli tool to backup discussions (channels and conversations) from slack☆11May 22, 2016Updated 10 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Jan 2, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Just-In-Time compiler for the OCaml byte-code runtime.☆34Jan 23, 2012Updated 14 years ago
- OCaml-based AT Protocol tools☆14Oct 13, 2023Updated 2 years ago
- Tutoriel MirageOS pour la 8e journée LoOPS☆12Dec 17, 2015Updated 10 years ago
- Cross-runtime object interface generation☆35Oct 28, 2021Updated 4 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 14 years ago
- ☆10Nov 23, 2015Updated 10 years ago