Randomized testing framework, designed for compatibility with Base
☆18Apr 6, 2026Updated this week
Alternatives and similar repositories for base_quickcheck
Users that are interested in base_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:
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- OCaml Ctypes stubs generation notes☆21May 1, 2019Updated 6 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Updated this week
- Generate functions to read/write records in csv format☆18Mar 30, 2026Updated last week
- A small OCaml library to randomly generate values☆29Oct 11, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Declarative JSON data manipulation for OCaml☆23Mar 6, 2026Updated last month
- Convert a filesystem into a static OCaml module☆77Feb 17, 2025Updated last year
- Redis client for Async applications☆19Mar 30, 2026Updated last week
- Streaming client for OCaml's Memprof☆74Mar 30, 2026Updated last week
- OCaml bindings to Zstandard☆25Mar 30, 2026Updated last week
- Generation of accessor and iteration functions for ocaml records☆62Mar 30, 2026Updated last week
- ocaml-protoc-plugin☆47Aug 29, 2025Updated 7 months ago
- [beta] High-level wrapper around ocaml-sqlite3☆17Apr 28, 2022Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Experimental model checker for testing concurrent algorithms☆44Dec 17, 2024Updated last year
- A library of splittable pseudo-random number generators for OCaml☆35Jan 17, 2025Updated last year
- A library that makes it nicer to work with nested functional data structures☆61Updated this week
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 3 years ago
- OCaml implementation of http://hashids.org☆12Nov 17, 2018Updated 7 years ago
- Bin_prot binary protocols in Rust☆20Dec 17, 2023Updated 2 years ago
- IO should be just a library☆25Jul 17, 2023Updated 2 years ago
- Various mechanized proof files for fun.☆15Mar 31, 2026Updated last week
- OCaml template engine almost compatible with jinja2☆139Mar 20, 2026Updated 3 weeks ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Declarative definition of command line interfaces for OCaml☆333Feb 13, 2026Updated last month
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- Spawning sub-processes☆66Nov 11, 2024Updated last year
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- Jane Street Capital's asynchronous execution library☆231Mar 30, 2026Updated last week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆39Updated this week
- Minimal HTTP server using good old threads + blocking IO, with a small request router.☆85Feb 16, 2026Updated last month
- ☆23Mar 14, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Functional-style SQL query☆50Dec 28, 2025Updated 3 months ago
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- Software Transactional Memory for OCaml☆137Jun 14, 2025Updated 9 months ago
- OCaml Web client, composable with Dream [unannounced]☆70Apr 21, 2024Updated last year
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- A simple wrapper around OCurl.☆31Updated this week