opam
Here are 82 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
May 14, 2024 - OCaml
A statically-typed, functional typesetting system
-
Updated
Apr 19, 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
May 13, 2024 - OCaml
An OCaml cross-toolchain for Windows and several useful libraries
-
Updated
Apr 26, 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 15, 2024 - Shell
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
-
Updated
Mar 8, 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."