Repository Index

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

• compiler
• javascript
• altjs
• rescript

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

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

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

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

• matrix
• linear-algebra
• ndarray
• statistical-functions

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Universal toplevel for OCaml

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

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

• genealogy
• software
• web
• database

A library for building dynamic webapps, using Js_of_ocaml.

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

• json
• ocaml
• yojson
• parser

Declarative definition of command line interfaces for OCaml

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

An OCaml lexer generator for Unicode

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

• coq
• hammer
• automation
• proof-search

Terminal manipulation library for OCaml

• ocaml

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

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

Elm architecture and (V)DOM for OCaml

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.

Automated S-expression conversion

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot