OCaml code generator plugin for the Cap'n Proto serialization framework
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
Template for an ocaml project with modern tooling
- ocaml
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
Famous 99 problems in OCaml
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
Pure OCaml implementation of the "vchan" shared-memory communication protocol
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
general value printing within compiled programs
Process pools for OCaml
Unicode character properties for OCaml
OCaml implementation of the MQTT pubsub protocol.
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
OCaml library for forking child processes to perform work on multiple cores
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Fully functional implementation of FCNNs with Back Prop