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

A composable build system for OCaml.

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

MirageOS is a library operating system that constructs unikernels

Archive for all Coq related OPAM packages organized in various repositories

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

A statically-typed, functional typesetting system

Streamlining the release of dune packages to opam

An OCaml cross-toolchain for Windows and several useful libraries

Turn opam-based OCaml projects into Nix derivations

Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components

This project aims at being able to export Kicad v5 Sch files to structured picture files

An OCaml cross-toolchain for iOS and several useful libraries

An OCaml cross-toolchain for Android and several useful libraries

Package manager for SATySFi

OCaml Build Infrastructure

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

Regression Testing framework for opam

This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust. If you are looking for a complete and maintained solution, please check the ReasonML plugin.