There are 3 repositories under opam topic.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Main public package repository for opam, the source package manager of OCaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
This project aims at being able to export Kicad v5 Sch files to structured picture files
Archive for all Rocq and Coq-related opam packages organized in various repositories
An OCaml cross-toolchain for Windows and several useful libraries
An OCaml cross-toolchain for Android and several useful libraries
An OCaml cross-toolchain for iOS and several useful libraries
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
establish trust in community repositories, cryptographically signed by library authors
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.
OCaml CRUD Todo App using Melange with JWT auth
A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components
🍯 Sweet simple static site generator
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
OCaml library for manipulating OpenQASM Abstract Syntax Tree