Non-blocking streaming Unicode codec for OCaml

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Irmin is a distributed database that follows the same design principles as Git

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

A Web Application for Learning OCaml

Portable OpenSSH

htop - an interactive process viewer

A Dependently Typed Functional Programming Language

A Matrix collaboration client for Android.

Android client application.

Low-level JSON parsing and pretty-printing library for OCaml

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

An OCaml lexer generator for Unicode

A fast, friendly, functional language.

A Proof-oriented Programming Language

A purely functional programming language with first class types

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

Beef Programming Language

Cooperative-threaded access to relational data

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

QuickCheck inspired property-based testing for OCaml.

A lightweight and colourful test framework

An OCaml library for HTTP clients and servers using Lwt or Async

Functional HTML scraping and rewriting with CSS in OCaml

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

The official OCaml website.

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.