Concurrency property fuzzing tool for Lwt-based OCaml programs
☆29Mar 7, 2021Updated 5 years ago
Alternatives and similar repositories for confuzz
Users that are interested in confuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 4 years ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 5 years ago
- Detect root CA certificates from the operating system☆15Jun 22, 2026Updated 4 months ago
- OpenSSL bindings to OCaml EIO☆20Jul 25, 2026Updated 3 months ago
- a small, simple block-backed key-value store for MirageOS☆32Oct 27, 2025Updated last year
- 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.
- Ocaml modular spam filter☆16Sep 16, 2024Updated 2 years ago
- A set of tools to work with Gameboy stuff☆14Dec 4, 2022Updated 3 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 4 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- Scheduling build jobs on regular intervals, collecting artifacts☆13Jun 15, 2026Updated 4 months ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 7 years ago
- ☆21Mar 6, 2019Updated 7 years ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated last year
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 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 MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 4 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆16Feb 3, 2023Updated 3 years ago
- Efficient caching library for OCaml☆33Sep 27, 2023Updated 3 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 4 years ago
- Irmin-based Markdown Editor☆49Nov 10, 2022Updated 3 years ago
- A phylogenetic tree of animals☆13Sep 25, 2016Updated 10 years ago
- CI in tty☆14Jun 26, 2023Updated 3 years ago
- telnet protocol in OCaml☆15Nov 15, 2016Updated 9 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- line based patch, input is a unified diff☆24Jul 6, 2026Updated 3 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated 2 years ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 3 years ago
- Command Line Interface for Dream applications.☆22Apr 9, 2022Updated 4 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 6 years ago
- ☆16Oct 21, 2021Updated 5 years ago
- ah yes, effect handlers in unikernels☆14May 19, 2023Updated 3 years ago
- A simple note-taking app☆16Mar 4, 2026Updated 7 months ago
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago
- ☆15Dec 11, 2020Updated 5 years ago
- Auditively feel the work of the runtime☆34Mar 1, 2024Updated 2 years ago
- CommonMark parser and renderer for OCaml☆50Sep 14, 2026Updated last month
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago