#
opam
Here are 75 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
Oct 21, 2022 - OCaml
A statically-typed, functional typesetting system
programming-language
pdf
latex
functional-programming
ocaml
opentype
markup-language
opam
pdf-generation
typesetting-system
satysfi
-
Updated
Oct 24, 2022 - OCaml
This project aims at being able to export Kicad Sch files to structured picture files
-
Updated
Feb 17, 2022 - OCaml
An OCaml cross-toolchain for Android and several useful libraries
-
Updated
Mar 31, 2022 - Shell
An OCaml cross-toolchain for Windows and several useful libraries
-
Updated
Sep 21, 2022 - Shell
Archive for all Coq related OPAM packages organized in various repositories
-
Updated
Oct 24, 2022 - OCaml
An OCaml cross-toolchain for iOS and several useful libraries
-
Updated
Mar 31, 2022 - Shell
establish trust in community repositories, cryptographically signed by library authors
-
Updated
Oct 14, 2022 - OCaml
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@erikmd]
-
Updated
Oct 3, 2022 - Dockerfile
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."