Opam
Showing 11 of 11 projects
A library operating system for building secure, performant unikernels in OCaml.
A fast, composable build system for OCaml that handles low-level compilation details with a simple project description.
An editor service providing modern IDE features like context-sensitive completion for OCaml in Vim and Emacs.
A lightweight and colorful test framework for OCaml with quiet output and expressive test selection.
A dependable, cross-platform distribution of the Rocq proof assistant with a curated selection of libraries and tools.
A wrapper over opam/dune providing a cargo-like experience for creating and managing OCaml projects with integrated documentation and CI.
A library of Coq definitions, theorems, and tactics for use in other Coq developments.
Generates Nix expressions from OPAM packages to build OCaml projects within the Nix ecosystem.
A complete OCaml interface to the Slack API with a command-line notification tool.
A packager for distributing OCaml software with an API to describe installation files and distribution procedures.
A Windows-friendly distribution of OCaml focused on native development with mixed OCaml/C projects.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.