ocaml

Solo5 core platform libraries for MirageOS

OCaml REST and WebSockets client for the Gemini Trading Exchange.

A toy L4 load balancer running on FPGA

OCaml bindings for Clang

Eclipse plugin that provides syntax highlighing support for additional languages.

String diagrams in LaTeX.

OCaml as a Tactic Language for the Rocq Prover

OCaml AWS Client

Path-based http request routing in Ocaml.

Conjures up convenient OCaml types and serialization functions based on protobuf definition files

📐Reason/OCaml rules and tools for Bazel

OCaml package to produce JUnit xml reports

Chemoinformatics tool for ligand-based virtual screening

WiP image viewer using MirageOS

Map à la Binary Radix Tree

[private joke] IRC bot for a private channel on freenode

remove accents from utf8 strings

[beta] High-level wrapper around ocaml-sqlite3

A template repo demonstrating OCaml tooling and testing

OCaml rewrite of GNU coreutils

OCaml bindings for OpenAI API

A dialect of Lisp that designed for Minecraft Bedrock Command System.

A simple HTTP client for OCaml 5

Reactive signals for OCaml.

Declarative command-line parsing for OCaml

Русскоязычный ресурс по OCaml

Typed DMA buffers for OCaml userspace VFIO drivers

A long-horizon agent orchestration toolkit in OCaml implementing Cordis-like extensibility and graceful fallbacks

Js_of_ocaml bindings for MithrilJS

Reason binding generator for react-toolbox

RemoteData and WebData to use with bs-fetch for BuckleScript

CUID generator for OCaml. :id: :camel: :1234: :gear:

Xen core platform libraries for MirageOS

Semantic version handling for OCaml

OCaml Type Classes

Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components

IO independent postgres protocol implementation

Ocaml bindings for the zxcvbn password strength estimation library

A style guide for Coq

Authentication framework for OCaml Dream web-framework

An infinity-categorical coherence typechecker

OCaml bindings for portaudio.

IITM Paradigms of Programming -- Monsoon 2025

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

A protoc plugin for generating OCaml code from protobuf (.proto) files.