A mechanical translation of the Haskell QuickCheck library into Ocaml
☆11Mar 28, 2009Updated 17 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:
- Run OCaml applications on Google Appengine☆11Mar 22, 2010Updated 16 years ago
- Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods fo…☆20Sep 30, 2012Updated 14 years ago
- BDD for OCaml☆27Jul 23, 2013Updated 13 years ago
- ☆26Nov 27, 2012Updated 13 years ago
- OCaml "reentrant runtime" experimental branch☆26Sep 30, 2013Updated 13 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.
- Extension to OCaml for deriving functions from type declarations.☆24Sep 4, 2010Updated 16 years ago
- Process pools for OCaml☆31Aug 28, 2013Updated 13 years ago
- STOMP client implementation for OCaml☆11Feb 12, 2017Updated 9 years ago
- Small tetris implementation using OCaml and Allegro☆10Nov 1, 2016Updated 10 years ago
- OCaml client for the Redis advanced key-value store☆24May 5, 2011Updated 15 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 6 years ago
- NodeJS bindings for js_of_ocaml☆10Sep 9, 2011Updated 15 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 15 years ago
- Like NW.js and node-webkit but with Gecko using XUL Runner☆12May 12, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- WebSocket Server for OCaml☆15Nov 24, 2010Updated 15 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- An ocaml library implementing openflow functionality☆10Dec 13, 2013Updated 12 years ago
- Syntax extension for statically-typed JSON handling in OCaml☆10Apr 27, 2011Updated 15 years ago
- An OCaml controller for the Adafruit Rapsberry Pi LCD☆12Jan 6, 2014Updated 12 years ago
- Adapton Lab, written in Rust.☆16Sep 6, 2019Updated 7 years ago
- Utilities for manipulating dates and times☆10Dec 15, 2012Updated 13 years ago
- Boost.org ptr_container module☆18Aug 12, 2026Updated 2 months ago
- The sparkling monad library☆13Jun 17, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Non-blocking codec interface design for OCaml (pattern, experiment)☆14Nov 19, 2015Updated 10 years ago
- [Core-serveR] - A Common Lisp Application Server☆16Dec 28, 2013Updated 12 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- This is a fork of the inline-more branch in the OCaml SVN repository.☆31Jul 7, 2011Updated 15 years ago
- Plugin for Cordova that enables fully native-looking apps☆18Feb 26, 2015Updated 11 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11May 24, 2017Updated 9 years ago
- Dynamic types for OCaml☆24Feb 15, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Inspection of internal value representations and the object graph☆33Aug 2, 2016Updated 10 years ago
- OCaml based XMPP implementation☆26Dec 27, 2015Updated 10 years ago
- Wrapping all Ramda functions that may return undefined in a Maybe☆13Oct 15, 2015Updated 11 years ago
- A (Common?)Lisp interpreter in JavaScript☆16Jul 26, 2011Updated 15 years ago
- Functional data structures for Riak☆28Oct 31, 2013Updated 13 years ago
- Lens Proposal for a Haskell-like Language☆14Jul 13, 2012Updated 14 years ago
- Alex Bennée's hacking copy of QEMU. Be aware branches which are not pull requests can get re-based all the time☆11Updated this week