opam
Here are 83 public repositories matching this topic...
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
Updated
Aug 21, 2024 - OCaml
A statically-typed, functional typesetting system
-
Updated
Aug 11, 2024 - OCaml
This project aims at being able to export Kicad v5 Sch files to structured picture files
-
Updated
Dec 9, 2023 - OCaml
Archive for all Coq related OPAM packages organized in various repositories
-
Updated
Aug 11, 2024 - OCaml
An OCaml cross-toolchain for Windows and several useful libraries
-
Updated
Aug 20, 2024 - Shell
An OCaml cross-toolchain for Android and several useful libraries
-
Updated
Mar 31, 2022 - Shell
An OCaml cross-toolchain for iOS and several useful libraries
-
Updated
May 28, 2024 - Shell
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
-
Updated
Aug 14, 2024 - Dockerfile
establish trust in community repositories, cryptographically signed by library authors
-
Updated
Mar 24, 2023 - OCaml
Improve this page
Add a description, image, and links to the opam topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the opam topic, visit your repo's landing page and select "manage topics."