MirageOS is a library operating system that constructs unikernels

• UpdatedMar 4, 2025
• OCaml

A composable build system for OCaml.

• UpdatedMar 17, 2025
• OCaml

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

• UpdatedMar 14, 2025
• OCaml

A statically-typed, functional typesetting system

• UpdatedJan 20, 2025
• OCaml

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

• UpdatedMar 17, 2025

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

• UpdatedMar 12, 2025
• OCaml

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

• UpdatedDec 9, 2023
• OCaml

Archive for all Coq related OPAM packages organized in various repositories

• UpdatedMar 14, 2025
• OCaml

Turn opam-based OCaml projects into Nix derivations

• UpdatedMar 5, 2025
• Nix

Streamlining the release of dune packages to opam

• UpdatedFeb 3, 2025
• OCaml

An OCaml cross-toolchain for Windows and several useful libraries

• UpdatedMar 11, 2025
• Shell

An OCaml cross-toolchain for Android and several useful libraries

• UpdatedMar 31, 2022
• Shell

Learn Ocaml by reading code examples

• UpdatedDec 13, 2022
• OCaml

An OCaml cross-toolchain for iOS and several useful libraries

• UpdatedNov 5, 2024
• Shell

🔨 Tool to generate OCaml projects

• UpdatedMay 19, 2021
• OCaml

Package manager for SATySFi

• UpdatedSep 25, 2023
• OCaml

Docker images of the Coq proof assistant (see also:https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

• UpdatedFeb 13, 2025
• Dockerfile

establish trust in community repositories, cryptographically signed by library authors

• UpdatedNov 14, 2024
• OCaml

OCaml Build Infrastructure

• UpdatedJul 7, 2020
• OCaml

🖍️🎨Composable and simple terminal highlighting package for OCaml.

• UpdatedFeb 3, 2018
• OCaml