OCaml

Autosubst-ocamluds-psl/autosubst-ocaml

Generates Coq boilerplate code for handling binders, renaming, and substitutions in formal language metatheory.

ValidateAxot017/validate

An OCaml library that uses a PPX deriver to automatically generate validators for records, variants, lists, and values via annotations.

ocaml-main-program-in-cjohnwhitington/ocaml-main-program-in-c

Example build system for creating mixed C/Ocaml binaries with the main program written in C.

Uucddbuenzli/uucd

An OCaml module for decoding the Unicode character database from its XML representation.

ForkWorkmlin/forkwork

An OCaml library for parallelizing work across multiple cores using child process forking.

mysql_protocolslegrand45/mysql_protocol

OCaml library implementing the native MySQL/MariaDB wire protocol using the Bitstring library.

OCaml OpenFlowfrenetic-lang/ocaml-openflow

OCaml library for serializing and deserializing OpenFlow protocol messages, supporting versions 1.0 and 1.3.

sqids-ocamlsqids/sqids-ocaml

Official OCaml port of Sqids for generating short unique IDs from numbers, useful for link shortening and URL-safe identifiers.

commonjs_of_ocamlAngryLawyer/commonjs_of_ocaml

A js_of_ocaml PPX extension to import and export CommonJS modules, enabling seamless interoperability with JavaScript.

ocephesrleonid/ocephes

OCaml bindings to special math and probability functions from the Cephes library.

RunOrgRunOrg/RunOrg

An open-source social database server built with OCaml and PostgreSQL for managing user profiles and relationships.

charrua-unixhaesbaert/charrua-unix

A Unix DHCP server daemon based on charrua-core with privilege dropping and ISC dhcpd.conf support.

nocoinermarcoonroad/nocoiner

A Commitment Scheme library implementing secure coin flipping and multiparty computation protocols using Encrypt-then-MAC authenticated encryption.

OCaml@ptsubame-sp/ocaml_at_p

A debugging printer for OCaml that automatically generates print functions and inserts debug output for expressions marked with [@p].

dokeystoUnixJunkie/dokeysto

A simple, type-safe key-value store implemented in OCaml with generic type support.

atdjsbarko/atdjs

Generates OCaml serializers/unserializers from ATD type definitions for js_of_ocaml client apps.

fluent-loggerfluent/fluent-logger-ocaml

An OCaml structured logger for Fluentd with buffering, persistent connections, and exponential backoff.

onumericalcheshire/onumerical

An OCaml library for sparse linear expressions, generic vectors/matrices, and a dual simplex solver for linear optimization.

Voltcodinuum/volt

An enhanced variant of Bolt OCaml logging tool with pass filters, extended syntax, and optimized argument evaluation.

ppx_monadrizo/ppx_monad

A minimalistic monad syntax extension for OCaml, inspired by Haskell's do-notation.

CryptOSSrvantonder/CryptOSS

Tooling for collecting and analyzing cryptocurrency open-source software development activity from GitHub.

Ocaml-NNck090/ocaml-nn

A monadic implementation of fully-connected neural networks in OCaml with backpropagation and customizable hyperparameters.

puml2xmlkhalidbelk/puml2xml

A command-line tool that converts PlantUML diagram files (.puml) to XML format (.xmi).

Py.mlthierry-martinez/pyml

OCaml bindings for Python 2 and 3, enabling bidirectional interoperability between OCaml and Python code.