Interoperable effects based concurrency

Financial models for computers

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

A modern Prolog implementation written mostly in Rust.

The Power of Prolog: Introduction to modern Prolog

A simple scheduler for OCaml 5

Yet Another Implementation of jws

GTK4 bindings for OCaml

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Direct-style parser combinator library for OCaml 5

Pure OCaml implementation of Apache Avro

OCaml bindings to the Capstone disassembly framework

M*LIB is a library of generic and type safe containers / data structures in pure C language (C99 / C11) for a wide collection of container (comparable to the C++ STL).

OCaml bindings to Apple Metal for general compute applications

A unikernel designed specifically for running Wasm applications and compatible with WASI

A simple to use OAuth 2 client library

OCaml bindings to Anthropic's language model APIs

Higher level programming in C

A minimal but powerful thread pool in ANSI C

C++ FFI Generator for Ocaml

OCaml implementation of the Model Context Protocol (MCP)

Protocol Buffers with small code size

OxCaml Parallelism

OCaml - Oxidized!

Simple Dynamic Strings library for C