zapashcanon

abt

Ocaml port of CMU's ABT library (with various modifications).

alt-ergo

OCamlPro public development repository for Alt-Ergo

cmarkit

CommonMark parser and renderer for OCaml

Collections-C

Gillian's Collections-C Symbolic Test Suite in Wasm

encoding

An OCaml abstraction layer for constraint solvers.

gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

hallowdale

httpcats

imguiml

Bindings to cimgui

klee-testcomp

miou

A simple scheduler for OCaml 5

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-bazaar

ocaml-gnuplot

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)

ocaml.org

The official OCaml website.

ola

OCaml Lua language experiments

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

opam2web

A tool to generate a website from an opam repository

owi

OCaml WebAssembly Interpreter

pie

A simple command line tool which draw pie chart. Based on cairo

proposals

Tracking WebAssembly proposals

pyml

OCaml bindings for Python

quickjs

Public repository of the QuickJS Javascript Engine.

setup-ocaml

GitHub Action for the OCaml programming language

stdcompat

Stdcompat: compatibility module for OCaml standard library

Syndic

RSS and Atom feed parsing

Test-Comp

Test-Comp benchmarking scripts for wasp-c

test_comp_runner

wasocaml

z3

The Z3 Theorem Prover