Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

GraphQL servers in OCaml

• ocaml
• graphql

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

• ocaml
• stdlib
• data-structure
• portable

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

• genealogy
• software
• web
• database

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

OCaml project generator.

• spin
• ocaml
• reason
• template

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

OCaml library for reading, writing and modifying PDF files

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

Error-recovering streaming HTML5 and XML parsers

• html
• html5
• xml
• streaming

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Non-blocking streaming Unicode codec for OCaml

Read and write FAT format filesystems from OCaml

Bencode (.torrent file format) reader/writer in OCaml

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation