samoht

tylr

a tiny tile-based editor

aeneas

A verification toolchain for Rust programs

dream-html

Render HTML, SVG, MathML, htmx markup from your OCaml app

ocaml.nvim

mlx

OCaml syntax dialect which adds JSX syntax expressions

polars-ocaml

oplot

Mathematical plotting library for ocaml

legend-of-zolda

OCaml implementation of a NES Legend of Zelda-style browser-based game

metaocaml-letrec

flexible 'let rec' generation for MetaOCaml

playtime

An OCaml EDSL for describing and solving strategic games

vega-lite

OCaml library to produce vega-lite visualizations (as json objects)

jamler

ffmt

Format string experimentations

abstract-machines

Implementations in OCaml of various abstract machines

ocaml-lilv

OCaml bindings to the lilv library for using LV2 plugins.

ocaml-unix-type-representations

Functions that expose the underlying types of some abstract types in the Unix module.

ocaml-reex

Staged regular expression library for MetaOCaml

simple63

OCaml package for compression of integer sequences; similar to Anh and Moffat's Simple-8b

ocaml-ctypes-build

subtypes

First-class subtypes for OCaml

ppx_deriving_tools

Tools to build ppx deriving generators

OCamlTyEff

Interpreter for a subset of OCaml language with support for typed effects

gaussian-elimination

intrinsics-report

reverse-ffi-demo

chow-liu

OCaml library and tool to train and evaluate Chow-Liu trees

dt1d

owl-rnn-eg

Experiments with RNN models

slur

OCaml library and command line tool for building logistic regression (linear binary classification) models

ocaml-ctypes-tls