An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
47,133 repositories indexed
25–48 of 51 · Most stars
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
A DHCP library in OCaml
- dhcp-library
- dhcp-server
- ocaml
- mirage
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Micro-benchmarking library for OCaml
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
OCaml PPX deriver for reflection
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A library to build and execute typed scientific workflows
Pretty-printing library for OCaml
A dumb OCaml logger
OCaml library for combinatorics
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
general value printing within compiled programs
A library for printing OCaml values with sharing
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
OCaml library for forking child processes to perform work on multiple cores
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Serialization library for OpenFlow