opam
There are 87 repositories under opam topic.
mirage/mirage
MirageOS is a library operating system that constructs unikernels
ocaml/dune
A composable build system for OCaml.
ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
gfngfn/SATySFi
A statically-typed, functional typesetting system
ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
geneweb/geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
jnavila/plotkicadsch
This project aims at being able to export Kicad v5 Sch files to structured picture files
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
tweag/opam-nix
Turn opam-based OCaml projects into Nix derivations
tarides/dune-release
Streamlining the release of dune packages to opam
ocaml-cross/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
ocaml-cross/opam-cross-android
An OCaml cross-toolchain for Android and several useful libraries
o1-labs/ocamlbyexample
Learn Ocaml by reading code examples
ocaml-cross/opam-cross-ios
An OCaml cross-toolchain for iOS and several useful libraries
chrisnevers/mkocaml
🔨 Tool to generate OCaml projects
na4zagin3/satyrographos
Package manager for SATySFi
rocq-community/docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
robur-coop/conex
establish trust in community repositories, cryptographically signed by library authors
ocaml-attic/obi
OCaml Build Infrastructure
nickzuber/chalk
:crayon::art:Composable and simple terminal highlighting package for OCaml.
Chris00/ocaml-docker
Binding to the Docker Remote API
QuentinRa/intellij-ocaml
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.
vitorsouzaalmeida/ocaml-crud
OCaml CRUD Todo App using Melange with JWT auth
gitpod-samples/template-ocaml
A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
akabe/docker-ocaml
Minimum docker images for OCaml+OPAM
dividat/ocaml-semver
Semantic version handling for OCaml
p1xelHer0/advent-of-ocaml
Let's write some Advent of Code in OCaml
xapi-project/xs-opam
Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components
mjambon/ocaml-layer
Make your own OCaml base image for fast CI jobs
jottenlips/agave
🍯 Sweet simple static site generator
rocq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
vapourismo/opam-nix-integration
Nix integration for OPAM packages
mimoo/fromager
Format your damn OCaml code!
rgrinberg/opam-lock
Dump/restore opam dependencies using a lock file
inQWIRE/openqasm-parser
OCaml library for manipulating OpenQASM Abstract Syntax Tree
rjbou/orb
check opam package reproductibility