OCamlPro/alt-ergo
OCamlPro public development repository for Alt-Ergo
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
OCamlPro public development repository for Alt-Ergo
A simple tool and library to embed files and directories inside an OCaml executables
OCaml bytecode relocation
Public repository.